Pinned Loading

1. NethermindEth/latticefold NethermindEth/latticefold Public

   A lattice-based non-interactive folding scheme written in Rust

   Rust 4

2. NethermindEth/cairo-vm-go NethermindEth/cairo-vm-go Public

   A virtual machine for Cairo written in Go

   Go 82 50

3. NethermindEth/horus-checker NethermindEth/horus-checker Public

   Horus, a formal verification tool for StarkNet smart contracts.

   Haskell 72 7

4. NethermindEth/Clear NethermindEth/Clear Public

   Interactive formal verification tool for Yul programs

   Lean 51 4