Pinned Loading

1. halcyon halcyon Public

   Compiler for a subset of C written in Haskell

   Haskell 3

2. trbutler4/zed-cairo trbutler4/zed-cairo Public

   Tree-sitter Query 9 4

3. cairo cairo Public

   Forked from starkware-libs/cairo

   Cairo is the first Turing-complete language for creating provable programs for general computation.

   Rust

4. Groth.jl Groth.jl Public

   Groth16 zkSNARK implementation in Julia - modular zero-knowledge proof system built from scratch for learning and research. Prove everything, reveal nothing.

   Julia 16 1

5. bargo bargo Public

   A developer-friendly CLI wrapper for Noir ZK development that consolidates nargo and bb workflows into a single, opinionated tool.

   Rust 7

6. bh2smith/eip7702 bh2smith/eip7702 Public

   Solidity 7 1