Haskell-style functional programming language running on Erlang VM.
ShellCheck, a static analysis tool for shell scripts
Parsing, analyzing, and comparing source code across many languages
A peer-to-peer stack for code collaboration
Raft Consensus Algorithm
Project management directly from the TODO’s in your codebase
Kit: a magical, high performance programming language, designed for game development. Pre-alpha!
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
A statically typed lisp, without a GC, for real-time applications.