Quid2 / zmLinks
Language independent, reproducible, absolute types.
☆22Updated last month
Alternatives and similar repositories for zm
Users that are interested in zm are comparing it to the libraries listed below
Sorting:
- A Zoo of Haskell Newtype Wrappers☆14Updated 4 years ago
- Classes for types where we know all the values☆39Updated 5 months ago
- Symbol manipulation☆36Updated 2 years ago
- Reification of data structures using observable sharing☆29Updated 8 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Bring fusion to everyone☆13Updated 5 years ago
- Sift through Haskell code for analysis purposes☆18Updated 6 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- An experiment in functional interface design☆24Updated 8 years ago
- The Str signature and implementations☆21Updated 8 years ago
- ☆24Updated 5 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Updated 3 months ago
- A benchmark comparing different ways of building a strict bytestring in Haskell☆25Updated 2 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 5 months ago
- ☆21Updated 2 years ago
- ☆26Updated 5 months ago
- Get all your structure and rip it apart.☆32Updated 6 years ago
- ☆24Updated 3 months ago
- Agda-style equational reasoning in Haskell☆53Updated 2 months ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆13Updated 2 months ago
- Overloaded plugin☆30Updated last year
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- An experimental build system based on the Haxl library☆8Updated 6 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago