matt-noonan / gdp-paperView external linksLinks
Ghosts of Departed Proofs
☆43Aug 13, 2018Updated 7 years ago
Alternatives and similar repositories for gdp-paper
Users that are interested in gdp-paper are comparing it to the libraries listed below
Sorting:
- Ghosts of Departed Proofs☆63Nov 26, 2020Updated 5 years ago
- Slides and projects for LambdaConf 2018 Workshop☆16Jun 3, 2018Updated 7 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated last year
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 4 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…☆21Oct 28, 2019Updated 6 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- ☆48Jul 5, 2019Updated 6 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- ☆12Sep 5, 2022Updated 3 years ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- being the introduction to co-de-Bruijn metasyntax☆23Apr 29, 2022Updated 3 years ago
- Composable code-quality tools☆13Jun 22, 2018Updated 7 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 7 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- B+-tree implementation in Haskell☆28May 12, 2019Updated 6 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 8 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 5 years ago
- Speculate laws about Haskell functions☆30Jan 30, 2025Updated last year
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- Turn an optparse-applicative program into a CGI program!☆35Feb 19, 2020Updated 5 years ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 6 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆77Nov 27, 2019Updated 6 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated this week
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Reversible printing/parsing☆18Mar 1, 2023Updated 2 years ago
- ☆12Jun 13, 2017Updated 8 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Modern library for working with URIs☆69Feb 3, 2026Updated 2 weeks ago
- Set the version bounds of dependencies in a cabal file☆68Sep 22, 2025Updated 4 months ago
- Retry combinators for monadic actions that may fail☆114Apr 17, 2023Updated 2 years ago