LightAndLight / closureLinks
Closure calculus implementation
β12Updated 6 years ago
Alternatives and similar repositories for closure
Users that are interested in closure are comparing it to the libraries listed below
Sorting:
- π Better Haskell documentation.β17Updated 4 years ago
- β23Updated 7 years ago
- Dependently typed elimination functions using singletonsβ28Updated 5 months ago
- A thread-safe hash table in Haskellβ15Updated 5 years ago
- GHC patched with the -fcompact-holes flagβ11Updated 6 years ago
- Austin's supercompiler workβ21Updated 5 years ago
- A usable type system for call by push-valueβ33Updated 5 years ago
- "Programs that explain their effects" talk materialβ17Updated 7 years ago
- Dependent hash mapsβ14Updated 2 months ago
- Modern compiler implementation in ML, in Haskellβ16Updated 7 years ago
- Bring fusion to everyoneβ13Updated 5 years ago
- π§ Liquid Haskell integration for Cabal and Stackβ25Updated 6 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)β15Updated 7 years ago
- Funny little Haskell implβ18Updated 4 years ago
- Safe web routing in haskellβ30Updated 2 years ago
- Run lifted IO operations asynchronously and wait for their resultsβ29Updated 7 months ago
- β16Updated 4 months ago
- Code to go along with the blog post "Are Mutable References in HaskellΒ Fast?"β10Updated 8 years ago
- static analysis of free monadsβ24Updated 6 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...β18Updated 8 years ago
- Hakyll support for Agda literate filesβ19Updated 3 years ago
- Resin: high performance variable binder and ast manipulation libβ13Updated 6 years ago
- Tools for functors from Hask^k to Haskβ23Updated 5 years ago
- System F implemented in Haskellβ24Updated 13 years ago
- Reasonable Haskell default importβ27Updated 2 years ago
- Experiments in abstracting definitional interpretersβ16Updated 7 years ago
- Typeclass for array typesβ19Updated 2 months ago
- A monadic interface for DAG construction.β24Updated 4 years ago
- Folds for recursive types with GHC Genericsβ26Updated 5 years ago
- Programmatically create new instances using core-to-core pluginsβ11Updated 4 years ago