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

☆139Aug 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
• jimcrayne / jhc

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

  View on GitHub
  A fork of jhc. And also a Haskell compiler.
  ☆136Jun 8, 2019Updated 6 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
• 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
• atzeus / CTRex

  View on GitHub
  Open records for Haskell
  ☆22Oct 6, 2017Updated 8 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
• lemmih / lhc

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

  View on GitHub
  A prototypical dependently typed languages with sized types and variances
  ☆115Jan 12, 2026Updated 2 months ago
• haskell-pkg-janitors / haskell-src

  View on GitHub
  Library for manipulating Haskell source code
  ☆22Sep 11, 2025Updated 6 months ago
• discus-lang / ddc

  View on GitHub
  The Disco Discus Compiler
  ☆176Feb 6, 2019Updated 7 years ago
• pa-ba / equivalence

  View on GitHub
  ☆13Jan 7, 2026Updated 2 months ago
• Helium4Haskell / helium

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

  View on GitHub
  Haskell implementation of the Edinburgh Logical Framework
  ☆32Jan 12, 2026Updated 2 months ago
• haskell-suite / haskell-tc

  View on GitHub
  Haskell typechecker
  ☆39May 7, 2019Updated 6 years ago
• mietek / epigram2

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

  View on GitHub
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Dec 21, 2018Updated 7 years ago
• snoyberg / monad-logger

  View on GitHub
  A class of monads which can log messages
  ☆39Mar 10, 2025Updated last year
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years 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
• GaloisInc / llvm-pretty

  View on GitHub
  An llvm pretty printer inspired by the haskell llvm binding
  ☆31Mar 6, 2026Updated 2 weeks ago
• purescript / purescript-unfoldable

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

  View on GitHub
  The Happy parser generator for Haskell
  ☆317Jan 16, 2026Updated 2 months ago
• laMudri / generic-lr

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

  View on GitHub
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Mar 9, 2019Updated 7 years ago
• bollu / simplexhc-cpp

  View on GitHub
  optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
  ☆32May 15, 2019Updated 6 years ago
• atzedijkstra / chr

  View on GitHub
  Constraint Handling Rules
  ☆17Sep 18, 2024Updated last year
• andorp / mini-grin

  View on GitHub
  ICFP tutorial
  ☆39Jul 31, 2021Updated 4 years ago
• ekmett / name

  View on GitHub
  nominal sets in haskell
  ☆19Nov 18, 2018Updated 7 years ago
• nominolo / lambdachine

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

  View on GitHub
  Tools for working with derived Show instances in Haskell.
  ☆58Mar 7, 2026Updated 2 weeks ago
• intoverflow / Potential

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

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 8 years ago
• lehins / massiv-io

  View on GitHub
  Read and write images as massiv arrays
  ☆13Oct 23, 2021Updated 4 years ago
• andrewthad / yesod-table

  View on GitHub
  HTML tables for yesod
  ☆14May 4, 2017Updated 8 years ago
• namin / higher-rank

  View on GitHub
  Practical type inference for arbitrary-rank types
  ☆11May 25, 2019Updated 6 years ago
• gergoerdi / clash-compucolor2

  View on GitHub
  Clash implementation of the Compucolor II home computer
  ☆32Nov 6, 2021Updated 4 years ago
• gibbon-compiler / gibbon

  View on GitHub
  A compiler for functional programs on serialized data
  ☆176Mar 13, 2026Updated last week