ShellCheck, a static analysis tool for shell scripts

Universal markup converter

Parsing, analyzing, and comparing source code across many languages

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

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A static website compiler library in Haskell

Embedded language for high-performance array computations

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

Fork of the original Data61 course to be more Stack friendly

Automatic Differentiation