dougalm

google-research/dex-lang49

Research language for array processing in the Haskell/ML family

pchiusano

unisonweb/unison57

Next generation programming language, currently in development

koalaman

koalaman/shellcheck188

ShellCheck, a static analysis tool for shell scripts

robrix

github/semantic163

Parsing, analyzing, and comparing source code across many languages

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.