Ghosts of Departed Proofs
☆43Aug 13, 2018Updated 8 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☆65Nov 26, 2020Updated 5 years ago
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 6 years ago
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- Slides and projects for LambdaConf 2018 Workshop☆16Jun 3, 2018Updated 8 years ago
- 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.
- 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 7 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
- A well typed interpreter for the simply-typed lambda calculus written in Agda☆11Aug 22, 2016Updated 10 years ago
- ☆12Sep 5, 2022Updated 4 years ago
- Haskell charting library☆10Aug 21, 2021Updated 5 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated 2 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- a servant like DSL for templating requests☆15Apr 8, 2021Updated 5 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆23Aug 30, 2017Updated 9 years ago
- Remove outdated compilation artefacts left by cabal v2-build☆11Apr 11, 2026Updated 6 months ago
- Access to pre-rendered General MIDI instrument soundfonts☆12Mar 18, 2026Updated 7 months ago
- Generate realistic looking fake data☆46May 7, 2021Updated 5 years ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 6 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 9 years ago
- ☆11Dec 20, 2018Updated 7 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Apr 4, 2022Updated 4 years ago
- Refactorio is a tool with which you build and maintain software.☆19Jun 3, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 7 years ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 4 years ago
- Monorepo for a multi-player game engine, and game examples☆42Feb 13, 2022Updated 4 years ago
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 10 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 5 years ago
- Leibniz Equality☆20Jun 7, 2018Updated 8 years ago
- A browser-only web interface to the free-theorems library☆12May 22, 2025Updated last year
- Source for my blog☆26Oct 22, 2026Updated last week
- generalize counter-examples of property-based testing☆13Jan 30, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 5 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 9 years ago
- constraint level if statements☆117Nov 29, 2017Updated 8 years ago
- Refined types☆57Sep 25, 2018Updated 8 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago