A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language
57,138 visible repositories in the index
1–8 of 8 · Most stars
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
A statically typed lisp, without a GC, for real-time applications.
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.