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)

This repo has been merged into: https://github.com/music-suite/music-suite

This repo has been merged into: https://github.com/music-suite/music-suite

This repo has been merged into: https://github.com/music-suite/music-suite

This repo has been merged into: https://github.com/music-suite/music-suite

This repo has been merged into: https://github.com/music-suite/music-suite

This repo has been merged into: https://github.com/music-suite/music-suite

This repo has been merged into: https://github.com/music-suite/music-suite