Collection of errata for book Aarne Ranta, Implementing Programming Languages
☆12Sep 10, 2026Updated last month
Alternatives and similar repositories for plt-errata
Users that are interested in plt-errata are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Sep 28, 2025Updated last year
- Idris YAML lib☆10Jan 25, 2018Updated 8 years ago
- S. Marlow's Par monad with dataflow graph output☆13Mar 26, 2018Updated 8 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- Simulation of a deterministic Turing Machine using Haskell☆13May 1, 2013Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- My personal development environment☆11Updated this week
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 5 years ago
- Translate British English into American English in text files and Python code☆10May 30, 2025Updated last year
- Yes, really!☆11May 8, 2015Updated 11 years ago
- Mochiweb html parser xpath extension☆16Feb 26, 2010Updated 16 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- a project manage tool for Idris☆17Aug 24, 2016Updated 10 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆17Oct 12, 2014Updated 12 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A library for pure functional Agent-Based Simulation in Haskell☆13Aug 24, 2020Updated 6 years ago
- Programs that are used in the Cousineau/Mauny books☆32Jun 22, 2021Updated 5 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 4 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Apr 1, 2016Updated 10 years ago
- BuDDy BDD package (with CMake support)☆16May 7, 2024Updated 2 years ago
- Interactive development environment and runner for Advent of Code challenges☆26Nov 30, 2023Updated 2 years ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 5 years ago
- Swift lambda calculus functions supporting intensional equality☆12Jun 19, 2016Updated 10 years ago
- The Chart Study tool, by base.report, is a web-based application for analyzing stock charts.☆15Mar 17, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Deep Learning for Cangjie☆14Jul 27, 2023Updated 3 years ago
- A toy compiler, built after Crenshaw's 1988 tutorial.☆11Nov 29, 2009Updated 16 years ago
- Ever wanted to run iPhone unit tests with the full power of the simulator? Now you can.☆12Mar 3, 2010Updated 16 years ago
- grpckit is your docker swiss army knife for grpc and protobuf generation☆10Apr 9, 2024Updated 2 years ago
- Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)☆21Oct 26, 2016Updated 10 years ago
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 2025Updated last year
- This tool helps users to use Microsoft Cangjie in a more efficient way.☆16Sep 8, 2026Updated last month
- Pack file encoder/decoder in OCaml☆12Jun 2, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Text and Haskell source for my blog series on recursion schemes.☆49Jul 13, 2022Updated 4 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆10Jan 20, 2026Updated 9 months ago
- A module to show 3D meshes, using the standard OCaml graphics library.☆10Apr 19, 2019Updated 7 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆57Sep 13, 2021Updated 5 years ago
- Éclair - Parsing with derivatives and zippers☆11Apr 8, 2020Updated 6 years ago
- An Elm 0.19.x package for working with Phoenix WebSockets☆16Sep 2, 2021Updated 5 years ago