Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Repository Index
89,073 visible repositories in the index
1–7 of 7 · Most stars
lamdu - towards the next generation IDE
- integrated-development-environment
- programming-language
- programmer-tool
- projectional-editor
The Plutus language implementation and tools
Cryptol: The Language of Cryptography
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
Experimental Malfunction backend for Idris
Tool that allows to write Erlang NIF libraries in Haskell