☆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
Sorting:
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 13 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Feb 5, 2020Updated 6 years ago
- Library for manipulating Haskell source code☆22Sep 11, 2025Updated 5 months ago
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 15 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆58Jun 10, 2020Updated 5 years ago
- A fork of jhc. And also a Haskell compiler.☆136Jun 8, 2019Updated 6 years ago
- The LLVM LHC Haskell Optimization System☆202Apr 30, 2020Updated 5 years ago
- Open records for Haskell☆22Oct 6, 2017Updated 8 years ago
- A class of monads which can log messages☆39Mar 10, 2025Updated 11 months ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- A prototypical dependently typed languages with sized types and variances☆115Jan 12, 2026Updated last month
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- ICFP tutorial☆39Jul 31, 2021Updated 4 years ago
- Unfoldable functors☆16Apr 27, 2022Updated 3 years ago
- Constraint Handling Rules☆17Sep 18, 2024Updated last year
- Tools for working with derived Show instances in Haskell.☆58Jan 31, 2023Updated 3 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆98Nov 25, 2024Updated last year
- A compiler for functional programs on serialized data☆175Feb 22, 2026Updated last week
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- The Happy parser generator for Haskell☆318Jan 16, 2026Updated last month
- VM and tracing JIT for Haskell (work in progress)☆79Oct 25, 2014Updated 11 years ago
- A fast logging system for Haskell☆163Jun 23, 2025Updated 8 months ago
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 7 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- The Str signature and implementations☆21May 28, 2017Updated 8 years ago
- HASKELL: Yale Haskell system written in Lisp☆105Jan 16, 2014Updated 12 years ago
- A version of Epigram 1 that can run with newer GHCs☆55Jul 22, 2017Updated 8 years ago
- The Disco Discus Compiler☆176Feb 6, 2019Updated 7 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆31Updated this week
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- Minimal Haskell Compiler☆63Mar 26, 2018Updated 7 years ago
- Lift control operations, like exception catching, through monad transformers☆58Dec 17, 2022Updated 3 years ago