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 5 years ago

Alternatives and similar repositories for plt-books

Users that are interested in plt-books are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• raptazure / mauve

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

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

  View on GitHub
  Just toys
  ☆10Mar 5, 2023Updated 3 years ago
• raptazure / unifier

  View on GitHub
  A multi-threaded, persistent key/value store
  ☆17Feb 9, 2021Updated 5 years ago
• h1trust / awesome-hit-rust

  View on GitHub
  🌸 A curated list of Rust code and resources from Hitrust
  ☆37Dec 13, 2020Updated 5 years ago
• End-to-end encrypted email - Proton Mail • Ad
  Special offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
• meraymond2 / idris-ide-client

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

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

  View on GitHub
  Implementations of various toy programming languages
  ☆11Apr 19, 2018Updated 8 years ago
• rami3l / yascm

  View on GitHub
  Yet another Scheme interpreter.
  ☆11Sep 17, 2022Updated 4 years ago
• KunoiSayami / Following-Special-Friends-Telegram

  View on GitHub
  A bot that can monitor specify user send message to your common group
  ☆12Apr 22, 2026Updated 6 months ago
• JoeyEremondi / lambda-pi-constraint

  View on GitHub
  ☆16Feb 18, 2025Updated last year
• stonebuddha / eopl

  View on GitHub
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆30Jan 13, 2017Updated 9 years ago
• LemonHX / lean4-rs

  View on GitHub
  rust binding for lean4
  ☆11Jul 1, 2023Updated 3 years ago
• yukiiiteru / DailySchedule_2020

  View on GitHub
  OS Tutorial Summer of Code 2020
  ☆19Jun 7, 2022Updated 4 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• lynn / universal-lambda

  View on GitHub
  A minimal esolang based on lambda calculus
  ☆16Jan 13, 2021Updated 5 years ago
• MarcelineVQ / idris2-streaming

  View on GitHub
  Effectful Streaming for Idris
  ☆15Dec 13, 2020Updated 5 years ago
• raptazure / daily-tarot

  View on GitHub
  🔮 Tarot Extension for VS Code
  ☆19Jul 11, 2024Updated 2 years ago
• condy0919 / rua

  View on GitHub
  Lua dialect in rust
  ☆22Jun 17, 2021Updated 5 years ago
• haflang / heron

  View on GitHub
  A special-purpose processor for pure, non-strict functional languages
  ☆36Sep 21, 2026Updated last month
• raphael-sterbac / elaboration-universes

  View on GitHub
  Elaboration of cumulative universe hierarchies
  ☆13Oct 12, 2026Updated 2 weeks ago
• dragonly / HasCraft

  View on GitHub
  A Minecraft demo in Haskell ;)
  ☆12Mar 11, 2016Updated 10 years ago
• dannypsnl / minic

  View on GitHub
  Minimalist compiler course, based on Essential of Compilation
  ☆11Oct 17, 2026Updated last week
• lidongj / yqxx

  View on GitHub
  ☆32Oct 12, 2021Updated 5 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• KONY128 / Snake-Game

  View on GitHub
  A multiplayer Snake Game with delicate graphic, fully armed game sound, local ranking system, and a cute AI snake
  ☆11Apr 9, 2026Updated 6 months ago
• bigs / idris2-libgit2

  View on GitHub
  Libgit2 bindings for Idris 2
  ☆13Sep 10, 2020Updated 6 years ago
• hydrolarus / toml-idr

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

  View on GitHub
  van Laarhoven lenses for Idris
  ☆20Sep 25, 2017Updated 9 years ago
• ice1k / ConsHoTT

  View on GitHub
  Constructive Interpretations of HoTT
  ☆36Aug 26, 2020Updated 6 years ago
• ShisoftResearch / Nebuchadnezzar

  View on GitHub
  High Performance Key-Value Store
  ☆50Updated this week
• h1trust / about

  View on GitHub
  🌿 For you, rustaceans from HIT
  ☆26Mar 2, 2024Updated 2 years ago
• daizhongxiang / Quantum_Bayesian_Optimization

  View on GitHub
  Official implementation for the paper "Quantum Bayesian Optimization" accepted to NeurIPS 2023.
  ☆12Jan 7, 2024Updated 2 years ago
• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Jun 19, 2026Updated 4 months ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• shuaili8 / Bandit_book_solutions

  View on GitHub
  ☆13Jul 3, 2022Updated 4 years ago
• ytcoode / portal

  View on GitHub
  Exposes local servers behind NATs and firewalls to the Internet
  ☆19Mar 9, 2020Updated 6 years ago
• JetBrains / arend-lib

  View on GitHub
  ☆85Feb 28, 2025Updated last year
• jonasbuntinx / gatsby-purescript-example

  View on GitHub
  Simple example app using Gatsby.js with Purescript
  ☆12Jan 6, 2023Updated 3 years ago
• Chi-Task-Force / Chi-Telegram-Inline-Bot

  View on GitHub
  在 Telegram 上快速模仿迟先生卖弱。
  ☆10Oct 28, 2021Updated 5 years ago
• euisuny / best-of-popl

  View on GitHub
  Best of POPL (BOP) Reading Group Memoirs
  ☆68Jan 27, 2022Updated 4 years ago
• peterlefanulumsdaine / Oberwolfach-explorations

  View on GitHub
  collaboration on work in progress
  ☆15Mar 4, 2011Updated 15 years ago