Resources for "The Little Typer" study group
☆49Mar 19, 2020Updated 5 years ago
Alternatives and similar repositories for the-little-typer
Users that are interested in the-little-typer are comparing it to the libraries listed below
Sorting:
- exercises for the book - the little typer☆21May 15, 2025Updated 9 months ago
- Daily kata from the Little Typer☆13Dec 28, 2018Updated 7 years ago
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Nov 13, 2025Updated 3 months ago
- An implementation of Pie in Haskell☆211Nov 8, 2019Updated 6 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆739Jul 7, 2021Updated 4 years ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- loxomotive - A Lox Interpreter implemented in Haskell☆17Jan 8, 2022Updated 4 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Notes on higher-order typed compilation. Probably wrong☆23Oct 20, 2022Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆56Apr 23, 2017Updated 8 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55May 28, 2020Updated 5 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27May 1, 2020Updated 5 years ago
- Strongly-typed System F in Haskell☆120Oct 18, 2022Updated 3 years ago
- Ground Zero: Lean 4 HoTT Library☆79Feb 17, 2026Updated 3 weeks ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Jan 11, 2022Updated 4 years ago
- Golang library and cmd for flattening JSON and converting JSON to CSV.☆12Feb 15, 2026Updated 3 weeks ago
- A Simple Lisp Implementation in C. Based on Leo Howell's [Building LISP](http://www.lwh.jp/lisp/index.html) with bug fixes and enhancemen…☆40Jul 5, 2014Updated 11 years ago
- Historic Rust code browsing☆35Jan 14, 2021Updated 5 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- Implementation for the book <Implementing functional languages: a tutorial>☆33Apr 15, 2019Updated 6 years ago
- A Racket library that lets you control Firefox via the Marionette Protocol.☆79May 29, 2025Updated 9 months ago
- ☆10Oct 9, 2023Updated 2 years ago
- Generate Go bindings for shared C libraries.☆15Jul 13, 2024Updated last year
- A simple elasticsearch frontend for serving astrophysical simulation catalog data☆10Aug 29, 2025Updated 6 months ago
- An up-to-date Vulkan for Golang/Go☆17Sep 5, 2025Updated 6 months ago
- SIGPLAN website☆13Updated this week
- Literate Python package development with Jupyter☆12Aug 18, 2025Updated 6 months ago
- Code used for analysis and visualiation of ocean model data during my postdoc☆12Mar 1, 2023Updated 3 years ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- ☆51Dec 14, 2022Updated 3 years ago
- julia <3 clojure + macroexpansion☆11May 2, 2016Updated 9 years ago
- Learn Lean 4 with PLFA proofs.☆106Apr 8, 2025Updated 11 months ago
- The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.☆37Nov 13, 2022Updated 3 years ago
- A simple interface for generating persistent data and linking its dependencies☆48Dec 15, 2025Updated 2 months ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago