Popular repositories Loading

1. sawtooth-core sawtooth-core Public

   Forked from hyperledger-archives/sawtooth-core

   Core repository for Sawtooth Distributed Ledger

   Python

2. s-variations s-variations Public

   Variations around Savitch's Theorem

   OCaml

3. sawtooth-sabre sawtooth-sabre Public

   Forked from hyperledger-archives/sawtooth-sabre

   Sawtooth Sabre (WASM Smart Contracts)

   Rust

4. CPUmodels CPUmodels Public

   Forked from gangtan/CPUmodels

   GoNative project: formal machines models in Coq

   Coq

5. jolt jolt Public

   Forked from a16z/jolt

   The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

   Rust