sdiehl / kaleidoscope
Haskell LLVM JIT Compiler Tutorial
☆1,041Updated 5 years ago
Alternatives and similar repositories for kaleidoscope
Users that are interested in kaleidoscope are comparing it to the libraries listed below
Sorting:
- A monadic parser combinator library☆870Updated 4 months ago
- Haskell bindings for LLVM☆518Updated 9 months ago
- Industrial-strength monadic parser combinator library☆941Updated 3 months ago
- Write You a Scheme☆565Updated 2 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,263Updated last year
- Liquid Types For Haskell☆1,239Updated last week
- Functional programming with fewer indirections☆762Updated 4 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆714Updated 3 years ago
- Implementations of various type systems in OCaml.☆1,574Updated 9 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,041Updated 2 years ago
- Haskell to JavaScript compiler, based on GHC☆2,616Updated 2 years ago
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,054Updated 2 months ago
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,380Updated 4 years ago
- Introduction to parsing with Haskell and Parsec☆504Updated 5 years ago
- Very low feature GHCi based IDE☆1,155Updated last year
- A fast Haskell JSON library☆1,273Updated last month
- Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…☆1,091Updated last month
- A List of Foundational Haskell Papers☆865Updated 6 months ago
- Shell programming, Haskell style☆954Updated 11 months ago
- A demo implementation of a simple dependently-typed language☆591Updated 5 months ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,171Updated last year
- an incremental approach to compiler construction☆933Updated 5 years ago
- Haskell Programming From First Principles - Follow-up Resources☆495Updated 7 years ago
- Deep Learning in Haskell☆1,450Updated last year
- CakeML: A Verified Implementation of ML☆1,032Updated this week
- Fork of the original Data61 course to be more Stack friendly☆448Updated 3 years ago
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,880Updated 2 weeks ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆772Updated last month
- What I Wish I Knew When Learning Haskell☆2,580Updated 3 years ago
- A functional programming language based on algebraic effect handlers☆874Updated 8 months ago