Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
☆16Dec 13, 2018Updated 7 years ago
Alternatives and similar repositories for dependent-types-in-haskell
Users that are interested in dependent-types-in-haskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 7 years ago
- "Preload" Haskell packages to override them☆12Dec 3, 2018Updated 7 years ago
- Abstract machines for functional programming languages☆16Feb 22, 2019Updated 7 years ago
- ☆16Apr 19, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Apr 22, 2025Updated last year
- Automatic piecewise-mutable references for your types☆43Jul 26, 2026Updated 3 months ago
- Generic pretty-printer for program output☆12Jul 19, 2025Updated last year
- Deciding Presburger arithmetic in agda☆33Mar 25, 2023Updated 3 years ago
- Genetic program repair using GHC☆33May 16, 2024Updated 2 years ago
- Constraint-based generics☆51Jan 6, 2026Updated 9 months ago
- ☆23Aug 30, 2017Updated 9 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆61Jun 18, 2024Updated 2 years ago
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 3 months 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.
- Formal specification of the Haskell Language Report☆34Mar 2, 2026Updated 8 months ago
- A monadic (and pretty) pretty printer for Haskell☆40Jul 12, 2023Updated 3 years ago
- Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in C…☆10Dec 16, 2024Updated last year
- Polymorphic guarded λ-calculus☆22Oct 22, 2026Updated last week
- Type level string parser combinators☆20Jul 3, 2026Updated 3 months ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 10 years ago
- Control.Lens.Action☆17Mar 12, 2023Updated 3 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆21Jul 4, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 3 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 3 years ago
- ☆29Nov 11, 2025Updated 11 months ago
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 6 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆57May 5, 2022Updated 4 years ago
- A RISC-V TestRIG Verification Engine based on QuickCheck☆12Oct 5, 2026Updated 3 weeks ago
- Classy error-handling (and dispatching!) in Haskell.☆46Aug 14, 2019Updated 7 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆23Mar 29, 2023Updated 3 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 4 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- ☆12Jun 24, 2025Updated last year
- A Haskell translation of Idris's original algebraic effects library☆41Sep 23, 2016Updated 10 years ago