☆141Aug 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 14 years ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- A fork of jhc. And also a Haskell compiler.☆136Jun 8, 2019Updated 7 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 split into reusable components☆58Dec 17, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 16 years ago
- Open records for Haskell☆22Oct 6, 2017Updated 8 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆73Feb 5, 2020Updated 6 years ago
- The LLVM LHC Haskell Optimization System☆202Apr 30, 2020Updated 6 years ago
- A prototypical dependently typed languages with sized types and variances☆115Jan 12, 2026Updated 5 months ago
- Library for manipulating Haskell source code☆22Sep 11, 2025Updated 9 months ago
- The Disco Discus Compiler☆177Feb 6, 2019Updated 7 years ago
- ☆13Jan 7, 2026Updated 5 months ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆100Nov 25, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Haskell implementation of the Edinburgh Logical Framework☆33Jan 12, 2026Updated 5 months ago
- Haskell typechecker☆39May 7, 2019Updated 7 years ago
- BoringSSL-backed TLS and cryptography library for Haskell☆15Dec 21, 2018Updated 7 years ago
- Mirror of Epigram 2, by Conor McBride, et al.☆59Jun 10, 2020Updated 6 years ago
- A class of monads which can log messages☆39Mar 10, 2025Updated last year
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆31Jun 25, 2026Updated last week
- Unfoldable functors☆16Apr 27, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The Happy parser generator for Haskell☆321Apr 13, 2026Updated 2 months ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated 2 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32May 15, 2019Updated 7 years ago
- Constraint Handling Rules☆17Sep 18, 2024Updated last year
- ICFP tutorial☆38Jul 31, 2021Updated 4 years ago
- VM and tracing JIT for Haskell (work in progress)☆79Oct 25, 2014Updated 11 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Tools for working with derived Show instances in Haskell.☆58Mar 7, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 4 years ago
- HTML tables for yesod☆14May 4, 2017Updated 9 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 4 years ago
- A compiler for functional programs on serialized data☆177Jun 16, 2026Updated 2 weeks ago