The Eta Programming Language, a dialect of Haskell on the JVM
- eta
- jvm
- haskell
- functional-programming
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Cryptol: The Language of Cryptography
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game