geigerzaehler

radicle-dev/radicle149

A peer-to-peer stack for code collaboration

Acentelles

adjoint-io/raft155

Raft Consensus Algorithm

aviaviavi

aviaviavi/toodles305

Project management directly from the TODO’s in your codebase

bendmorris

kitlang/kit87

Kit: a magical, high performance programming language, designed for game development. Pre-alpha!

sdiehl

adjoint-io/bulletproofs165

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

eriksvedang

carp-lang/Carp224

A statically typed lisp, without a GC, for real-time applications.