sdiehl / kaleidoscopeLinks
Haskell LLVM JIT Compiler Tutorial
☆1,044Updated 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☆881Updated 7 months ago
- Haskell bindings for LLVM☆529Updated last year
- Implementations of various type systems in OCaml.☆1,596Updated 10 years ago
- Write You a Scheme☆573Updated 3 years ago
- Industrial-strength monadic parser combinator library☆970Updated this week
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆735Updated 4 years ago
- Introduction to parsing with Haskell and Parsec☆507Updated 6 years ago
- Liquid Types For Haskell☆1,284Updated last week
- Miscellaneous articles. The readme is the table of contents.☆1,305Updated 2 years ago
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,078Updated 2 weeks ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,058Updated 7 months ago
- Embedded language for high-performance array computations☆945Updated last week
- An introduction to programming language theory in Agda☆1,487Updated this week
- Functional programming with fewer indirections☆776Updated 5 years ago
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,515Updated 5 years ago
- Shell programming, Haskell style☆965Updated 4 months ago
- A fast Haskell JSON library☆1,297Updated 2 weeks ago
- What I Wish I Knew When Learning Haskell☆2,652Updated 4 months ago
- A fast, flexible, fused effect system for Haskell☆668Updated last month
- Haskell Programming From First Principles - Follow-up Resources☆503Updated 8 years ago
- Haskell IDE☆975Updated last year
- Automatic testing of Haskell programs.☆772Updated 2 weeks ago
- I'm trying to update the Real World Haskell book☆797Updated 2 years ago
- A demo implementation of a simple dependently-typed language☆616Updated last year
- The Hindley Milner Type Inference Algorithm☆376Updated 9 years ago
- The MLton repository☆1,051Updated 3 weeks ago
- Algebraic graphs☆750Updated last week
- Classic Algorithm W for type inference.☆256Updated 15 years ago
- A fast Haskell library for parsing ByteStrings☆527Updated last year
- Mirror of Software Foundations in PDF☆304Updated 5 years ago