sdiehl / kaleidoscope
Haskell LLVM JIT Compiler Tutorial
☆1,028Updated 4 years ago
Related projects: ⓘ
- A monadic parser combinator library☆842Updated 4 months ago
- Write You a Scheme☆552Updated last year
- Haskell bindings for LLVM☆501Updated 2 months ago
- Implementations of various type systems in OCaml.☆1,531Updated 9 years ago
- Industrial-strength monadic parser combinator library☆910Updated last week
- Miscellaneous articles. The readme is the table of contents.☆1,249Updated last year
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆694Updated 3 years ago
- Liquid Types For Haskell☆1,181Updated this week
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,338Updated 3 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,019Updated last year
- Haskell Research Compiler☆816Updated last year
- Shell programming, Haskell style☆940Updated 3 months ago
- Embedded language for high-performance array computations☆893Updated 2 months ago
- The MLton repository☆945Updated last month
- Deep Learning in Haskell☆1,447Updated 9 months ago
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,026Updated last month
- an incremental approach to compiler construction☆912Updated 4 years ago
- An introduction to programming language theory in Agda☆1,355Updated this week
- What I Wish I Knew When Learning Haskell☆2,560Updated 2 years ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,164Updated 5 months ago
- Software Foundations in Idris☆452Updated 5 years ago
- Fork of the original Data61 course to be more Stack friendly☆431Updated 3 years ago
- A Dependently Typed Functional Programming Language☆3,427Updated last month
- A collaborative bibliography of work related to the theory and practice of computational effects☆951Updated last month
- Functional programming with fewer indirections☆758Updated 4 years ago
- Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,811Updated last week
- Introduction to parsing with Haskell and Parsec☆500Updated 5 years ago
- Project: M36 Relational Algebra Engine☆888Updated last week
- A fast Haskell JSON library☆1,249Updated last month
- Haskell IDE☆978Updated 4 months ago