lambda-magic/plt-books external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lambda-magic/plt-books

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lambda-magic/plt-books)

Close

lambda-magic / plt-booksView on GitHubMore

• External links
• Readme badge

Books on programming language theory and linguistics in general.

☆56Jul 16, 2021Updated 4 years ago

Alternatives and similar repositories for plt-books

Users that are interested in plt-books are comparing it to the libraries listed below

• raptazure / mauve

  View on GitHub
  🍎 Play Bad Apple! with Haskell
  ☆15Jul 22, 2022Updated 3 years ago
• raptazure / chocolate

  View on GitHub
  Talking about classical logic and abstract algebra in Haskell
  ☆16Feb 12, 2021Updated 5 years ago
• uds-psl / CoqTM

  View on GitHub
  Formalising Turing Machines In Coq (bachelor's thesis)
  ☆12Jul 5, 2023Updated 2 years ago
• raptazure / experiments

  View on GitHub
  Just toys
  ☆10Mar 5, 2023Updated 2 years ago
• meraymond2 / idris-ide-client

  View on GitHub
  TypeScript client for Idris IDE-mode.
  ☆13Nov 6, 2022Updated 3 years ago
• Kraks / MyPLZoo

  View on GitHub
  Implementations of various toy programming languages
  ☆12Apr 19, 2018Updated 7 years ago
• raptazure / unifier

  View on GitHub
  A multi-threaded, persistent key/value store
  ☆17Feb 9, 2021Updated 5 years ago
• kcsmnt0 / quotient

  View on GitHub
  quotient types in cubical Agda
  ☆24Feb 4, 2019Updated 7 years ago
• Russoul / Idris2-Effect

  View on GitHub
  Experimental effects library for Idris 2
  ☆43May 13, 2022Updated 3 years ago
• h1trust / awesome-hit-rust

  View on GitHub
  🌸 A curated list of Rust code and resources from Hitrust
  ☆36Dec 13, 2020Updated 5 years ago
• rami3l / yascm

  View on GitHub
  Yet another Scheme interpreter.
  ☆11Sep 17, 2022Updated 3 years ago
• dannypsnl / minic

  View on GitHub
  Minimalist compiler course, based on Essential of Compilation
  ☆11Dec 15, 2025Updated 2 months ago
• MarcelineVQ / idris2-streaming

  View on GitHub
  Effectful Streaming for Idris
  ☆15Dec 13, 2020Updated 5 years ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated last year
• dragonly / HasCraft

  View on GitHub
  A Minecraft demo in Haskell ;)
  ☆12Mar 11, 2016Updated 9 years ago
• bigs / idris2-libgit2

  View on GitHub
  Libgit2 bindings for Idris 2
  ☆13Sep 10, 2020Updated 5 years ago
• condy0919 / rua

  View on GitHub
  Lua dialect in rust
  ☆22Jun 17, 2021Updated 4 years ago
• lynn / universal-lambda

  View on GitHub
  A minimal esolang based on lambda calculus
  ☆16Jan 13, 2021Updated 5 years ago
• matthesjh / coq-tal

  View on GitHub
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆18Mar 11, 2024Updated last year
• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Nov 21, 2025Updated 3 months ago
• stonebuddha / eopl

  View on GitHub
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Jan 13, 2017Updated 9 years ago
• ice1k / ConsHoTT

  View on GitHub
  Constructive Interpretations of HoTT
  ☆36Aug 26, 2020Updated 5 years ago
• KunoiSayami / Following-Special-Friends-Telegram

  View on GitHub
  A bot that can monitor specify user send message to your common group
  ☆13Feb 4, 2026Updated 3 weeks ago
• hydrolarus / toml-idr

  View on GitHub
  A TOML parser for Idris 2
  ☆17Jun 27, 2024Updated last year
• HuwCampbell / idris-lens

  View on GitHub
  van Laarhoven lenses for Idris
  ☆20Sep 25, 2017Updated 8 years ago
• yukiiiteru / DailySchedule_2020

  View on GitHub
  OS Tutorial Summer of Code 2020
  ☆19Jun 7, 2022Updated 3 years ago
• StarGazerM / ppa-in-code

  View on GitHub
  some my implementation of content in PPA
  ☆18Nov 3, 2020Updated 5 years ago
• L-TChen / Type-Theory

  View on GitHub
  Lecture note on Lambda Calculus and Types for FLOLAC
  ☆27Jul 2, 2024Updated last year
• haflang / heron

  View on GitHub
  A special-purpose processor for pure, non-strict functional languages
  ☆31Feb 17, 2026Updated last week
• Trebor-Huang / HomotopyHistory

  View on GitHub
  ☆22Feb 13, 2024Updated 2 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• lidongj / yqxx

  View on GitHub
  ☆32Oct 12, 2021Updated 4 years ago
• choukh / Set-Theory

  View on GitHub
  A formalization of the textbook Elements of Set Theory
  ☆61Sep 30, 2021Updated 4 years ago
• idris-hackers / iQuery

  View on GitHub
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Jan 15, 2018Updated 8 years ago
• verif-scop / PolCert

  View on GitHub
  A verified polyhedral scheduling validator in Coq.
  ☆23Oct 2, 2024Updated last year
• FizzyElt / functional-programming

  View on GitHub
  帶你探索 functional programming
  ☆26Feb 7, 2024Updated 2 years ago
• pleiad / Refinements

  View on GitHub
  Experiments in formalizing refinement type systems in Coq
  ☆18Feb 7, 2016Updated 10 years ago
• zanzix / idris-neural-net

  View on GitHub
  An implementation of a simple Neural network in Idris using category theory.
  ☆24Sep 18, 2024Updated last year
• ice1000 / agda-mode

  View on GitHub
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆28Nov 12, 2025Updated 3 months ago