seagreen / acme-pcf-specification
☆13Updated 3 years ago
Alternatives and similar repositories for acme-pcf-specification
Users that are interested in acme-pcf-specification are comparing it to the libraries listed below
Sorting:
- Parse bytes fast☆24Updated last year
- An experimental build system based on the Haxl library☆8Updated 6 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆17Updated 2 months ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- A simple tool for visualising differences in Criterion benchmark results☆14Updated last month
- Staged Streams and other stuff☆18Updated 2 years ago
- Bring fusion to everyone☆13Updated 5 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 6 months ago
- Automatic type class law checking.☆24Updated 4 months ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- Existential type.☆37Updated 4 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 5 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Updated 5 years ago
- Overloaded plugin☆30Updated 11 months ago
- Deriving Semigroup and Monoid instances for your product types☆11Updated 2 months ago
- Performance shootout of various trie implementations☆18Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 3 years ago
- Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.☆11Updated 7 years ago
- Library and tool for parsing .eventlog files from GHC☆33Updated 2 months ago
- Utilities for writing GHC type-checker plugins☆10Updated 2 months ago
- A package dealing with Kepler orbits.☆11Updated 2 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- ☆20Updated 2 years ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 8 years ago
- Script to download all of Hackage☆15Updated 5 years ago
- Maps using values' monoidal structure during merging☆42Updated last month
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Haskell library of row polymorphic record manipulator☆19Updated 4 years ago
- Hackager tool for releasing Haskell packages to Hackage☆30Updated 2 months ago