Pinned Loading

1. heir heir Public

   Forked from google/heir

   A compiler for homomorphic encryption

   C++

2. rust rust Public

   Forked from rust-lang/rust

   Empowering everyone to build reliable and efficient software.

   Rust

3. zksecurity/mina-attestations zksecurity/mina-attestations Public

   Private Attestations for Mina wallets

   TypeScript 16 6

4. circuit-compiler circuit-compiler Public

   Mini circuit compiler: converts arithmetic expressions to SSA form and constraint systems for zero-knowledge proofs.

   Rust

5. ingonyama-challenges ingonyama-challenges Public

   My solution to the ingonyama challenges

   Rust

6. bytecode-virtual-machine bytecode-virtual-machine Public

   Implementation of the Crafting Interpreters' Bytecode Virtual Machine

   C