bravit / tt-ghc-exercisesView external linksLinks
☆28Jun 3, 2018Updated 7 years ago
Alternatives and similar repositories for tt-ghc-exercises
Users that are interested in tt-ghc-exercises are comparing it to the libraries listed below
Sorting:
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- ☆20Apr 17, 2019Updated 6 years ago
- JHC Haskell compiler split into reusable components☆18Jan 10, 2026Updated last month
- A haskell library providing Word128 and Int128 types☆21Jan 21, 2026Updated 3 weeks ago
- A formal verification of Linear Temporal Logic in Coq☆23Updated this week
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- Evaluate special comments in your program on file save.☆39Oct 7, 2020Updated 5 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- Classical Logic in Haskell☆24Nov 19, 2025Updated 2 months ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- ☆23Apr 17, 2018Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Jun 13, 2018Updated 7 years ago
- Strict Haskell-like programming language that compiles to LLVM☆71Oct 31, 2019Updated 6 years ago
- Haskell implementation of nominal datatypes and functions☆44Aug 4, 2020Updated 5 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Sep 25, 2023Updated 2 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 5 years ago
- Monoidal stack machine☆10Nov 25, 2018Updated 7 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Jul 27, 2019Updated 6 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- ☆12May 22, 2016Updated 9 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 6 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 4 years ago
- An attempt at writing a Lattice Boltzmann CFD simulator in Rust☆10Apr 29, 2019Updated 6 years ago
- Simplified interface to the GHC API☆22Apr 4, 2019Updated 6 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆32May 15, 2019Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Feb 15, 2019Updated 6 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 8 years ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago