UU-ComputerScience/uhc 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

UU-ComputerScience/uhc

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/UU-ComputerScience/uhc)

Close

UU-ComputerScience / uhcView on GitHubMore

• External links
• Readme badge

☆138Aug 18, 2021Updated 4 years ago

Alternatives and similar repositories for uhc

Users that are interested in uhc are comparing it to the libraries listed below

• uhc / uhc

  View on GitHub
  Utrecht Haskell Compiler
  ☆42Apr 2, 2012Updated 13 years ago
• glaebhoerl / simplecompiler

  View on GitHub
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Jan 14, 2019Updated 7 years ago
• jimcrayne / jhc

  View on GitHub
  Jhc: Haskell Compiler
  ☆39Aug 31, 2015Updated 10 years ago
• bjpop / ministg

  View on GitHub
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Feb 5, 2020Updated 6 years ago
• haskell-pkg-janitors / haskell-src

  View on GitHub
  Library for manipulating Haskell source code
  ☆22Sep 11, 2025Updated 5 months ago
• csabahruska / jhc-components

  View on GitHub
  JHC Haskell compiler split into reusable components
  ☆57Dec 17, 2018Updated 7 years ago
• wh5a / thih

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

  View on GitHub
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆58Jun 10, 2020Updated 5 years ago
• ajhc / ajhc

  View on GitHub
  A fork of jhc. And also a Haskell compiler.
  ☆136Jun 8, 2019Updated 6 years ago
• lemmih / lhc

  View on GitHub
  The LLVM LHC Haskell Optimization System
  ☆202Apr 30, 2020Updated 5 years ago
• atzeus / CTRex

  View on GitHub
  Open records for Haskell
  ☆22Oct 6, 2017Updated 8 years ago
• snoyberg / monad-logger

  View on GitHub
  A class of monads which can log messages
  ☆39Mar 10, 2025Updated 11 months ago
• UU-ComputerScience / js-asteroids

  View on GitHub
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Dec 1, 2014Updated 11 years ago
• andreasabel / miniagda

  View on GitHub
  A prototypical dependently typed languages with sized types and variances
  ☆115Jan 12, 2026Updated last month
• haskell-suite / haskell-tc

  View on GitHub
  Haskell typechecker
  ☆39May 7, 2019Updated 6 years ago
• andorp / mini-grin

  View on GitHub
  ICFP tutorial
  ☆39Jul 31, 2021Updated 4 years ago
• purescript / purescript-unfoldable

  View on GitHub
  Unfoldable functors
  ☆16Apr 27, 2022Updated 3 years ago
• atzedijkstra / chr

  View on GitHub
  Constraint Handling Rules
  ☆17Sep 18, 2024Updated last year
• yav / pretty-show

  View on GitHub
  Tools for working with derived Show instances in Haskell.
  ☆58Jan 31, 2023Updated 3 years ago
• Helium4Haskell / helium

  View on GitHub
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆98Nov 25, 2024Updated last year
• gibbon-compiler / gibbon

  View on GitHub
  A compiler for functional programs on serialized data
  ☆175Feb 22, 2026Updated last week
• elliottt / dang

  View on GitHub
  A compiler for a strongly typed, haskell-like functional language
  ☆22Feb 1, 2018Updated 8 years ago
• intoverflow / Potential

  View on GitHub
  x86-64 assembly as a Haskell EDSL
  ☆36Sep 16, 2010Updated 15 years ago
• haskell / happy

  View on GitHub
  The Happy parser generator for Haskell
  ☆318Jan 16, 2026Updated last month
• nominolo / lambdachine

  View on GitHub
  VM and tracing JIT for Haskell (work in progress)
  ☆79Oct 25, 2014Updated 11 years ago
• kazu-yamamoto / logger

  View on GitHub
  A fast logging system for Haskell
  ☆163Jun 23, 2025Updated 8 months ago
• dpiponi / SASL

  View on GitHub
  A simple and educational compiler for the SASL programming language
  ☆23Apr 16, 2018Updated 7 years ago
• andreasabel / helf

  View on GitHub
  Haskell implementation of the Edinburgh Logical Framework
  ☆32Jan 12, 2026Updated last month
• haskell-backpack / backpack-str

  View on GitHub
  The Str signature and implementations
  ☆21May 28, 2017Updated 8 years ago
• haskell-lisp / yale-haskell

  View on GitHub
  HASKELL: Yale Haskell system written in Lisp
  ☆105Jan 16, 2014Updated 12 years ago
• david-christiansen / epigram1

  View on GitHub
  A version of Epigram 1 that can run with newer GHCs
  ☆55Jul 22, 2017Updated 8 years ago
• discus-lang / ddc

  View on GitHub
  The Disco Discus Compiler
  ☆176Feb 6, 2019Updated 7 years ago
• GaloisInc / llvm-pretty

  View on GitHub
  An llvm pretty printer inspired by the haskell llvm binding
  ☆31Updated this week
• TOTBWF / muprl

  View on GitHub
  A small NuPRL style proof assistant
  ☆31Jan 31, 2019Updated 7 years ago
• laMudri / generic-lr

  View on GitHub
  AACMM's generic-syntax, but with QTT-style annotations
  ☆21Apr 7, 2024Updated last year
• taktoa / eqsat

  View on GitHub
  A language-generic implementation of equality saturation in Haskell
  ☆22Dec 4, 2018Updated 7 years ago
• gbaz / mess

  View on GitHub
  Martin-Löf Extensible Specification and Simulator
  ☆29Jul 1, 2015Updated 10 years ago
• bydriv / mhc

  View on GitHub
  Minimal Haskell Compiler
  ☆63Mar 26, 2018Updated 7 years ago
• basvandijk / monad-control

  View on GitHub
  Lift control operations, like exception catching, through monad transformers
  ☆58Dec 17, 2022Updated 3 years ago