jimcrayne / jhcLinks
Jhc: Haskell Compiler
☆39Updated 10 years ago
Alternatives and similar repositories for jhc
Users that are interested in jhc are comparing it to the libraries listed below
Sorting:
- Morte IDE☆29Updated 8 months ago
- Lightweight package providing commonly useful parser combinators☆54Updated last week
- Obsidian Language Repository☆41Updated 7 years ago
- Build tool for ATS.☆42Updated 3 years ago
- ☆41Updated 5 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- ☆23Updated 2 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆94Updated last week
- Vector & affine spaces, linear maps, and derivatives☆49Updated 5 months ago
- ☆41Updated 8 years ago
- The Alms Programming Language☆44Updated 7 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- A natural transformation package☆16Updated 9 months ago
- JHC Haskell compiler split into reusable components☆18Updated 4 months ago
- Named parameters (keyword arguments) for Haskell☆98Updated 8 months ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Updated 5 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆97Updated last year
- NanoVG Haskell bindings☆22Updated 2 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆37Updated 12 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago
- MPFR bindings for Haskell☆35Updated 2 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated last year
- Elaborate and expressive S-Expression library for Haskell☆64Updated last year
- Toy typechecker for Insanely Dependent Types☆82Updated last month
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- Compression and decompression in the gzip and zlib formats☆39Updated 2 months ago