Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
47,133 repositories indexed
1–7 of 7 · Most stars
Compiler for Elm, a functional language for reliable webapps.
The Eta Programming Language, a dialect of Haskell on the JVM
Cryptol: The Language of Cryptography
Functional Reactive Programming domain-specific language for efficient hybrid systems
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
Experimental Malfunction backend for Idris
Generate Elm types, encoders, and decoders from Haskell types