gergoerdi/hm-compo external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

gergoerdi/hm-compo

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/gergoerdi/hm-compo)

Close

gergoerdi / hm-compoView on GitHubMore

• External links
• Readme badge

Compositional type checking for a Hindley-Milner type system

☆11Mar 28, 2017Updated 8 years ago

Alternatives and similar repositories for hm-compo

Users that are interested in hm-compo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Neuromancer42 / ministgwasm

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• LouisJenkinsCS / LLVM-JVM

  View on GitHub
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Aug 23, 2021Updated 4 years ago
• gergoerdi / tandoori

  View on GitHub
  Compositional type checking for Haskell
  ☆38Apr 14, 2011Updated 14 years ago
• benjaminselfridge / propcheck

  View on GitHub
  Proof checker for propositional logic
  ☆16Jul 7, 2017Updated 8 years ago
• eugmes / imp

  View on GitHub
  Compiler for IMP programming language implemented in Haskell
  ☆16Jun 16, 2020Updated 5 years ago
• dorchard / effectful-explanations-talk

  View on GitHub
  "Programs that explain their effects" talk material
  ☆17Jun 22, 2018Updated 7 years ago
• davidlazar / llvm-semantics

  View on GitHub
  Formal semantics of LLVM IR in K
  ☆45Jun 25, 2015Updated 10 years ago
• geisha-lang / Geisha

  View on GitHub
  A naive θ..θ programming language
  ☆27Oct 23, 2018Updated 7 years ago
• UCSD-PL / nano-smt

  View on GitHub
  "Toy" SMT Solver for Educational Purposes
  ☆20Apr 17, 2013Updated 12 years ago
• aherrmann / simply_llvm

  View on GitHub
  ☆41Jul 2, 2017Updated 8 years ago
• DianaPajon / tiger

  View on GitHub
  A Haskell implementation of the tiger compiler
  ☆10May 2, 2020Updated 5 years ago
• sweirich / replib

  View on GitHub
  Replib: generic programming & Unbound: generic treatment of binders
  ☆46Oct 18, 2022Updated 3 years ago
• yigitozkavci / typelevel-dijkstra-sp

  View on GitHub
  Dijkstra's shortest path algorithm implemented at type level with Haskell
  ☆20Dec 11, 2017Updated 8 years ago
• wh5a / thih

  View on GitHub
  Typing Haskell in Haskell
  ☆15Apr 12, 2010Updated 15 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• haskell-haskey / haskey-btree

  View on GitHub
  B+-tree implementation in Haskell
  ☆28May 12, 2019Updated 6 years ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• llvm-hs / llvm-hs-quote

  View on GitHub
  Quasiquoter for LLVM
  ☆31Apr 14, 2018Updated 7 years ago
• jfaure / lfvm-stg

  View on GitHub
  Map lazy functional language constructs to LLVM IR
  ☆52Jun 21, 2019Updated 6 years ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• GaloisInc / LIMA

  View on GitHub
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Sep 8, 2018Updated 7 years ago
• msakai / data-interval

  View on GitHub
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆22Feb 3, 2026Updated last month
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• tel / hotep

  View on GitHub
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Jan 19, 2017Updated 9 years ago
• andreasabel / miniagda

  View on GitHub
  A prototypical dependently typed languages with sized types and variances
  ☆115Jan 12, 2026Updated 2 months ago
• naalit / durin

  View on GitHub
  the Dependent Unboxed higher-oRder Intermediate Notation
  ☆14Feb 8, 2022Updated 4 years ago
• wejournal / lamb

  View on GitHub
  A statically typed and lazy evaluated implementation of Lambda Calculus.
  ☆21Sep 15, 2018Updated 7 years ago
• kthielen / stlcc

  View on GitHub
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Jan 25, 2013Updated 13 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• wereHamster / nauva

  View on GitHub
  ☆14Sep 24, 2017Updated 8 years ago
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• tdietert / diml

  View on GitHub
  Honors Thesis Summer/Fall 2015
  ☆11Nov 18, 2018Updated 7 years ago
• effectfully / Eff

  View on GitHub
  Experiments with effect systems
  ☆12Apr 18, 2016Updated 9 years ago
• cartazio / resin

  View on GitHub
  Resin: high performance variable binder and ast manipulation lib
  ☆13Jan 1, 2019Updated 7 years ago
• barrucadu / minifu

  View on GitHub
  A tutorial on writing a concurrency testing tool in Haskell
  ☆12Nov 5, 2017Updated 8 years ago
• aische / typelevel-examples

  View on GitHub
  Haskell Type Level Example Programs
  ☆28Nov 30, 2017Updated 8 years ago