Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
Repository Index
77,852 visible repositories in the index
1–8 of 8 · Most stars
A statically typed lisp, without a GC, for real-time applications.
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
:boom::computer::boom: A data-parallel functional programming language
The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
lamdu - towards the next generation IDE
- integrated-development-environment
- programming-language
- programmer-tool
- projectional-editor
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
Experimental Malfunction backend for Idris