Ethereum smart contract fuzzer
A strongly-typed language that compiles to JavaScript
Haskell 101 and 102: slides and codelabs
Haskell to JavaScript compiler, based on GHC
A collection of machine-checkend mathematical proofs
Collection of scripts for transfinite ordinals computations
Functional Programming concepts, examples and patterns