Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
Research language for array processing in the Haskell/ML family
Next generation programming language, currently in development
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