Stars
8
stars
written in Haskell
Clear filter
Parsing, analyzing, and comparing source code across many languages
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
Bundle of all core development tools for Elm
A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.
A Haskell to Coq compiler that represents effectful programs with the free monad