A copy of Daan Leijen's reference implementation of HMF (type inference)
☆18Apr 25, 2016Updated 9 years ago
Alternatives and similar repositories for hmf
Users that are interested in hmf are comparing it to the libraries listed below
Sorting:
- Mechanized baselines for various type system features☆18Feb 25, 2026Updated last week
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- ☆15Jun 26, 2019Updated 6 years ago
- https://metaborg.github.io/mj.agda/☆13Oct 14, 2020Updated 5 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- ☆17Apr 4, 2024Updated last year
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆19Aug 12, 2021Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 2 months ago
- Setoid type theory implementation☆38Aug 24, 2023Updated 2 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- Linear Logic for Constructive Mathematics, in Agda☆19Jul 7, 2019Updated 6 years ago
- Xcode theme for Emacs☆18Apr 8, 2022Updated 3 years ago
- A hobby language that compiles to WebAssembly☆28Jun 9, 2025Updated 8 months ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 3 years ago
- Correctness of normalization-by-evaluation for STLC☆24Oct 1, 2019Updated 6 years ago
- Denotational semantics based on graph and filter models☆23Dec 16, 2024Updated last year
- Rope data structure used by Yi☆20Jun 6, 2018Updated 7 years ago
- 🎏 Haskell implementation of Jsonnet☆25Updated this week
- A clone of 2048 using FRP in elm.☆32May 10, 2014Updated 11 years ago
- Minimalistic dynamically-typed programming language for didactic purposes.☆29Aug 13, 2022Updated 3 years ago
- Dependent type checker using normalisation by evaluation☆274Sep 5, 2024Updated last year
- Coq course at Chalmers CSE☆39Jul 3, 2017Updated 8 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Jan 27, 2022Updated 4 years ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- Low-overhead effect management for concrete monads☆37Mar 25, 2022Updated 3 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆37Mar 17, 2025Updated 11 months ago
- A simple implementation of linear type theory☆39Apr 21, 2017Updated 8 years ago
- The Prettiest Printer☆35Feb 14, 2024Updated 2 years ago
- Tasty integration for the Hedgehog property testing library☆38Dec 17, 2025Updated 2 months ago
- yk packages☆39Updated this week
- 2048 game clone using Yampa FRP library☆37Feb 5, 2015Updated 11 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Deep evaluation of data structures☆43Jun 14, 2025Updated 8 months ago
- A toy dependent typed language.☆46Updated this week
- ☆33Sep 25, 2012Updated 13 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago