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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ghosts of Departed Proofs☆63Nov 26, 2020Updated 5 years ago
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- Slides and projects for LambdaConf 2018 Workshop☆16Jun 3, 2018Updated 7 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 6 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 5 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Feb 20, 2020Updated 6 years ago
- ☆12Sep 5, 2022Updated 3 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated 2 years ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 years ago
- being the introduction to co-de-Bruijn metasyntax☆23Apr 29, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆77Nov 27, 2019Updated 6 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- ☆49Jul 5, 2019Updated 6 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 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
- Reversible printing/parsing☆18Mar 1, 2023Updated 3 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 8 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Set the version bounds of dependencies in a cabal file☆68Sep 22, 2025Updated 6 months ago
- ☆20Aug 13, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Delete half (minus ε) of your Haskell code!☆30Mar 14, 2026Updated last month
- A Haskell library for building incremental static site generators☆14Nov 30, 2023Updated 2 years ago
- Baresto UI☆39Feb 28, 2017Updated 9 years ago
- Speculate laws about Haskell functions☆31Jan 30, 2025Updated last year
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 25, 2026Updated last month
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Oct 11, 2018Updated 7 years ago
- Make your actions observable and listen events from them, algebraically.☆17Dec 4, 2024Updated last year