teach-plt / plt-errataView external linksLinks
Collection of errata for book Aarne Ranta, Implementing Programming Languages
☆12Nov 13, 2025Updated 3 months ago
Alternatives and similar repositories for plt-errata
Users that are interested in plt-errata are comparing it to the libraries listed below
Sorting:
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- Programs that are used in the Cousineau/Mauny books☆31Jun 22, 2021Updated 4 years ago
- Interactive development environment and runner for Advent of Code challenges☆26Nov 30, 2023Updated 2 years ago
- Frisbee flight simulator written in Python.☆12Jun 18, 2025Updated 7 months ago
- Exercises for EOPL in Haskell☆10Apr 1, 2025Updated 10 months ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 8 years ago
- ☆15Sep 19, 2021Updated 4 years ago
- Resources for "The Little Typer" study group☆49Mar 19, 2020Updated 5 years ago
- ableist-language-detector☆11Jan 15, 2023Updated 3 years ago
- ☆15Oct 23, 2023Updated 2 years ago
- ☆11Feb 15, 2022Updated 3 years ago
- ☆11Dec 12, 2021Updated 4 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 3 years ago
- salon for sharing thoughts and ideas☆12Nov 11, 2021Updated 4 years ago
- My personal development environment☆10Updated this week
- ☆13Dec 13, 2022Updated 3 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- Context switching for LLVM☆15Sep 12, 2011Updated 14 years ago
- Cloudspace's Packer scripts to configure vagrant, virtualbox and docker☆11May 26, 2015Updated 10 years ago
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- "朝书夕拾" 在线购物商城 集锦Spring Framework/Spring MVC/MyBatis框架,高并发,集群分布式,分布式锁等互联网最流行技术☆10Dec 15, 2022Updated 3 years ago
- GPU model checker☆11Apr 17, 2019Updated 6 years ago
- Disc Tracker allows you to make your own "Follow Flights". Use a tripod to record a video of your disc golf throw, then use this software…☆15Mar 1, 2021Updated 4 years ago
- implementation of webrtc communications on a python flask server☆18Jan 17, 2013Updated 13 years ago
- TUI.zig is a Modern and easy-to-use Terminal User Interface (TUI) library for the Zig programming language. It provides a rich set of fea…☆32Dec 17, 2025Updated last month
- A Haskell framework for running concurrent computations on an HPC cluster.☆13Oct 10, 2025Updated 4 months ago
- Soar with Haskell, Published by Packt☆15Jan 10, 2024Updated 2 years ago
- This repository contains the Potsdam Textbook Corpus (PoTeC) which is a natural reading eye-tracking corpus.☆14Dec 31, 2025Updated last month
- Simulations and designs for bit serial ALU implemented in TTL circuitry. Also bit serial cpu architectures - all simulated using H. Neem…☆12Aug 26, 2022Updated 3 years ago
- RebelDB™ • A new database engine is brewing 🧪 Imagine if REBOL and SQLite had a rebellious offspring ⚡️☆16Dec 18, 2024Updated last year
- [ACL2024] Exploring the Potential of Large Language Models in Computational Argumentation☆17Aug 21, 2024Updated last year
- ☆12Jun 28, 2018Updated 7 years ago
- Create your assistant in the OpenAI dashboard, generate an API key, and use this code to integrate it into Open WebUI. Remember that it i…☆15Jan 20, 2025Updated last year
- Blog for Modern C++ DevOps☆12Jan 17, 2025Updated last year
- ☆12Mar 27, 2024Updated last year
- Strongly-typed System F in Haskell☆120Oct 18, 2022Updated 3 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆57Sep 13, 2021Updated 4 years ago
- A command-line utility for pulling code blocks out of markdown files.☆15Sep 19, 2021Updated 4 years ago