sdiehl / kaleidoscope
Haskell LLVM JIT Compiler Tutorial
☆1,039Updated 5 years ago
Alternatives and similar repositories for kaleidoscope:
Users that are interested in kaleidoscope are comparing it to the libraries listed below
- A monadic parser combinator library☆867Updated 3 months ago
- Haskell bindings for LLVM☆518Updated 9 months ago
- Miscellaneous articles. The readme is the table of contents.☆1,259Updated last year
- Write You a Scheme☆563Updated 2 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,038Updated last year
- Industrial-strength monadic parser combinator library☆941Updated 2 months ago
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,376Updated 4 years ago
- Implementations of various type systems in OCaml.☆1,575Updated 9 years ago
- A fast Haskell JSON library☆1,270Updated 3 weeks ago
- Liquid Types For Haskell☆1,236Updated 3 weeks ago
- Shell programming, Haskell style☆952Updated 10 months ago
- What I Wish I Knew When Learning Haskell☆2,581Updated 3 years ago
- Functional programming with fewer indirections☆759Updated 4 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆714Updated 3 years ago
- A functional programming language based on algebraic effect handlers☆871Updated 7 months ago
- A Dependently Typed Functional Programming Language☆3,454Updated 2 months ago
- Introduction to parsing with Haskell and Parsec☆504Updated 5 years ago
- The MLton repository☆1,004Updated last month
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,051Updated last month
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,058Updated 6 years ago
- Very low feature GHCi based IDE☆1,153Updated last year
- A proper subset of Haskell that compiles to JavaScript☆1,283Updated 3 years ago
- Software Foundations in Idris☆454Updated 5 years ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,171Updated last year
- A List of Foundational Haskell Papers☆865Updated 5 months ago
- An introduction to programming language theory in Agda☆1,416Updated last week
- Applicative option parser☆929Updated last week
- Haskell Research Compiler☆819Updated 2 years ago
- A GHC-based Haskell to JavaScript compiler☆1,443Updated 6 years ago
- The Hindley Milner Type Inference Algorithm☆367Updated 8 years ago