A Haskell library that simplifies access to remote data, such as databases or web-based services.
Repository Index
85,081 visible repositories in the index
1–7 of 7 · Most stars
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Research language for array processing in the Haskell/ML family
Haskell to VHDL/Verilog/SystemVerilog compiler
Cryptol: The Language of Cryptography
Generalized bananas, lenses and barbed wire
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators