Pinned Loading

1. radik radik Public

   Scalable radix top-k selection on GPUs.

   Cuda 9 1

2. gauv gauv Public

   A graph-based automated verification framework for perfect semi-honest security of multiparty computation protocols.

   C++ 3

3. fast-uint-div fast-uint-div Public

   C++ and CUDA implementation and benchmark of fast unsigned division by constants.

   Cuda 1

4. modelscope/dash-infer modelscope/dash-infer Public

   DashInfer is a native LLM inference engine aiming to deliver industry-leading performance atop various hardware architectures, including CUDA, x86 and ARMv9.

   C 142 17

5. compilers-lab compilers-lab Public

   Labs for course Programming Languages Laboratory. Exp1: data stream analysis; exp2: code optimiztion; exp3: code verification with Z3 SMT solver.

   Java 3 1

6. SAOest-THUMIPS16-CPU SAOest-THUMIPS16-CPU Public

   Course project for computer organization. (mirror)

   VHDL 1