A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language
47,133 repositories indexed
1–9 of 9 · Most stars
A strongly-typed language that compiles to JavaScript
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.
Generate Erlang VM byte code from Haskell
Experimental Malfunction backend for Idris
Tool that allows to write Erlang NIF libraries in Haskell