Pinned Loading

1. gkr gkr Public

   zero knowledge proof aggregator for general circuit

   Rust 73 5

2. pseXperiments/cuda-sumcheck pseXperiments/cuda-sumcheck Public

   Experimental implementation of Sumcheck protocol using CUDA

   Rust 23 3

3. apache/tvm apache/tvm Public

   Open Machine Learning Compiler Framework

   Python 13.3k 3.9k

4. openxla/xla openxla/xla Public

   A machine learning compiler for GPUs, CPUs, and ML accelerators

   C++ 4.3k 801

5. privacy-ethereum/zkevm-circuits privacy-ethereum/zkevm-circuits Public archive

   Rust 822 842

6. llvm/llvm-project llvm/llvm-project Public

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM 38.2k 17.1k