Cryptol: The Language of Cryptography
Repository Index
56,139 visible repositories in the index
1–2 of 2 · Most stars
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
56,139 visible repositories in the index
1–2 of 2 · Most stars
Cryptol: The Language of Cryptography
Functional Reactive Programming domain-specific language for efficient hybrid systems