A statically typed lisp, without a GC, for real-time applications.
Repository Index
72,862 visible repositories in the index
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