mbg / hindley-milnerView external linksLinks
Template for Hindley-Milner based languages
☆39Dec 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
Sorting:
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Apr 29, 2021Updated 4 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- freer monads and cofreer comonads.☆23Jun 26, 2018Updated 7 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- Template repo for theorem proving in Liquid Haskell☆32Sep 19, 2018Updated 7 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- A more progressive alternative to the "base" package☆27Jan 28, 2026Updated 2 weeks ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 9 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- Dijkstra's shortest path algorithm implemented at type level with Haskell☆20Dec 11, 2017Updated 8 years ago
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Smuggle arbitrary values in ()☆12Apr 18, 2023Updated 2 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Library of Coq proof automation☆16Feb 15, 2022Updated 4 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 7 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Haskell library for semigroup actions and torsors☆64Feb 3, 2025Updated last year
- Speculate laws about Haskell functions☆30Jan 30, 2025Updated last year
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 8 years ago
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated last month
- A purely functional animated GUI framework☆17Jul 16, 2025Updated 6 months ago
- Haskell Module: Integer.IsPositive☆14Mar 26, 2016Updated 9 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- Type definitions and standard effect for interacting with the DOM☆41Oct 3, 2020Updated 5 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 10 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆35Jan 17, 2026Updated 3 weeks ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago