Pinned Loading

1. ParaFROST ParaFROST Public

   A Parallel SAT Solver with GPU Accelerated Inprocessing

   C++ 158 16

2. QuaSARQ QuaSARQ Public

   Parallel Quantum Simulation and Automated Reasoning on GPUs

   Cuda 8 1

3. cuArena cuArena Public

   Allocate GPU memory at C++ speed

   Cuda 1

4. gpu4bmc gpu4bmc Public

   A fully configurable interface of ParaFROST solver with CBMC model checker

   C++ 8

5. vLLM-Artifact vLLM-Artifact Public

   Benchmarking and kernel profiling of vLLM on RTX 4090: BF16 vs AWQ-INT4

   Python

6. cuMM cuMM Public

   A fast matrix multiplication in CUDA

   Cuda