Pinned Loading

1. dotfiles dotfiles Public

   My dotfiles

   Shell 1

2. umbra umbra Public

   Forked from hyperledger-labs/umbra

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

   Python

3. raft raft Public

   Forked from eliben/raft

   🚣 Raft implementation in Go

   Go

4. OCCAM OCCAM Public

   Forked from SRI-CSL/OCCAM

   OCCAM: Object Culling and Concretization for Assurance Maximization

   C++

5. prog-lang-design prog-lang-design Public

   Notes on Implementing Programming Language in Haskell

   Haskell