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 10 months ago
- Build tool for ATS.☆42Updated 3 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 12 years ago
- ☆23Updated 2 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆64Updated 5 years ago
- Examples from Introduction to Programming in ATS☆26Updated 11 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆95Updated 2 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 7 months ago
- Named parameters (keyword arguments) for Haskell☆98Updated 10 months ago
- NES programming in Haskell? No way!☆39Updated 10 years ago
- Embedded C code generation DSL for Haskell.☆29Updated 6 years ago
- NanoVG Haskell bindings☆22Updated 2 years ago
- Lightweight package providing commonly useful parser combinators☆54Updated last week
- Mirror of Epigram 2, by Conor McBride, et al.☆58Updated 5 years ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- The LC3 virtual machine☆24Updated last year
- The Alms Programming Language☆44Updated 7 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated 10 months ago
- MPFR bindings for Haskell☆34Updated 2 years ago
- Elaborate and expressive S-Expression library for Haskell☆65Updated last year
- JHC Haskell compiler split into reusable components☆57Updated 7 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 11 months ago
- Lua backend for Idris 2☆28Updated 3 years ago
- A natural transformation package☆16Updated 3 weeks ago
- GRIN backend for Idris☆50Updated 5 years ago
- ☆41Updated 5 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago