☆142Aug 18, 2021Updated 5 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
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Jan 14, 2019Updated 7 years ago
- JHC Haskell compiler split into reusable components☆58Dec 17, 2018Updated 7 years ago
- The Disco Discus Compiler☆176Feb 6, 2019Updated 7 years ago
- VM and tracing JIT for Haskell (work in progress)☆80Oct 25, 2014Updated 12 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Epic - a Supercombinator Compiler☆64Jun 12, 2015Updated 11 years ago
- A prototypical dependently typed languages with sized types and variances☆115Jan 12, 2026Updated 9 months ago
- Open records for Haskell☆22Oct 6, 2017Updated 9 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆227Aug 20, 2018Updated 8 years ago
- Automatically exported from code.google.com/p/trellys☆49Jul 12, 2019Updated 7 years ago
- The LLVM LHC Haskell Optimization System☆202Apr 30, 2020Updated 6 years ago
- ☆13Jan 27, 2012Updated 14 years ago
- Generate Haskell code from a type☆153Feb 21, 2025Updated last year
- A version of Epigram 1 that can run with newer GHCs☆55Jul 22, 2017Updated 9 years ago
- 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.
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- A fork of jhc. And also a Haskell compiler.☆135Jun 8, 2019Updated 7 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 13 years ago
- ICFP tutorial☆39Jul 31, 2021Updated 5 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
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 9 years ago
- Functional language for parallel programming☆439Jun 21, 2017Updated 9 years ago
- The Spire Programming Language☆58Oct 23, 2014Updated 12 years ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 11 years 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.
- ☆14Jul 21, 2024Updated 2 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆73Feb 5, 2020Updated 6 years ago
- ☆13Jan 7, 2026Updated 9 months ago
- ☆41Jul 2, 2017Updated 9 years ago
- First class patterns and pattern matching, using type families☆14Jun 6, 2018Updated 8 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- GHC plugin that improves Haskell code's numerical stability☆194Oct 6, 2015Updated 11 years ago
- Library for manipulating Haskell source code☆22Sep 11, 2025Updated last year
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .☆404Oct 14, 2026Updated 3 weeks ago
- A Dependently Typed Programming Language☆28Jul 24, 2020Updated 6 years ago
- Where my everyday research happens☆58Jul 28, 2026Updated 3 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆32Apr 13, 2015Updated 11 years ago
- Semigroups, specialized containers and a general map/reduce framework☆47Mar 3, 2025Updated last year
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 6 years ago
- The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml☆17Oct 26, 2010Updated 16 years ago