标签：haskell

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.