A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language
47,133 repositories indexed
1–12 of 12 · Most stars
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
The Eta Programming Language, a dialect of Haskell on the JVM
The Lux Programming Language
A language and an embedded JIT compiler
Cryptol: The Language of Cryptography
Maintainable configuration files
Functional Reactive Programming domain-specific language for efficient hybrid systems
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]