ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

Functional Programming Course

C to Rust translator

A GHC-based Haskell to JavaScript compiler

A proper subset of Haskell that compiles to JavaScript

Functional Programming Course

Crucible is a library for symbolic simulation of imperative programs

Generically derive traversals, lenses, and prisms.

Music in Haskell

An optimized general monad transformer for streaming applications, with a simple prelude of functions

Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.

Typed filepath

Cryptography that's easy to digest (NaCl/libsodium bindings)