Template for Hindley-Milner based languages
☆40Dec 7, 2021Updated 4 years ago
Alternatives and similar repositories for hindley-milner
Users that are interested in hindley-milner are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Apr 29, 2021Updated 5 years ago
- A type class which captures stack-safe monadic tail recursion☆39Oct 18, 2026Updated 3 weeks ago
- Template repo for theorem proving in Liquid Haskell☆33Sep 19, 2018Updated 8 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Pure Type Systems☆12Jul 31, 2020Updated 6 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆47Oct 18, 2022Updated 4 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 5 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆24Aug 28, 2022Updated 4 years ago
- Build, traverse and deserialise packed data in Haskell☆11Sep 16, 2026Updated last month
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 9 years ago
- Simple typesafe routing☆46Aug 31, 2022Updated 4 years ago
- Fast binary serialization in Haskell☆110Jun 10, 2026Updated 4 months ago
- Higher order functional programming in PureScript's type system☆45Nov 9, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- Intocode interpreter for Advent of Code 2019☆10Oct 21, 2025Updated last year
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 10 years ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- A nix function to allow a derivation to access the internet as long as you don't care about the output (like in CI, for example)☆14Jun 1, 2026Updated 5 months ago
- A more progressive alternative to the "base" package☆28Jan 28, 2026Updated 9 months ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Dijkstra's shortest path algorithm implemented at type level with Haskell☆20Dec 11, 2017Updated 8 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 9 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 8 years ago
- Declarative UIs are the Future — And the Future is Comonadic!☆53Jun 23, 2018Updated 8 years ago
- freer monads and cofreer comonads.☆24Jun 26, 2018Updated 8 years ago
- Type definitions and standard effect for interacting with the DOM☆41Oct 3, 2020Updated 6 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 5 years ago
- ☆13Jan 7, 2018Updated 8 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 9 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆35Apr 22, 2026Updated 6 months ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 6 years ago
- Overloaded Record Fields implementation based on GHC prototypes.☆14Mar 6, 2017Updated 9 years ago
- A CLI tool and build helper for packaging Elm applications with Nix.☆13Oct 28, 2026Updated last week
- Let GHC prove program equations for you☆145Nov 4, 2018Updated 8 years ago