Pinned Loading

1. umbra umbra Public

   Forked from hyperledger-labs/umbra

   This lab is to make running Hyperledger distributed ledgers under the Mininet platform.

   Python

2. raft raft Public

   Forked from eliben/raft

   🚣 Raft implementation in Go

   Go

3. OCCAM OCCAM Public

   Forked from SRI-CSL/OCCAM

   OCCAM: Object Culling and Concretization for Assurance Maximization

   C++

4. prog-lang-design prog-lang-design Public

   Notes on Implementing Programming Language in Haskell

   Haskell