Solutions for the book "Language Proof and Logic".
☆76Aug 26, 2024Updated last year
Alternatives and similar repositories for LPL-solutions
Users that are interested in LPL-solutions are comparing it to the libraries listed below
Sorting:
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- Repository showcasing different patches☆14Oct 11, 2025Updated 4 months ago
- Bug Tracker for the classic SourceForts HL2 Mod☆10Oct 15, 2018Updated 7 years ago
- Returns true only if today is Thursday.☆10Aug 16, 2024Updated last year
- ☆13Dec 28, 2022Updated 3 years ago
- Logging utilities that aimed to be used in highly loaded applications☆12Nov 10, 2017Updated 8 years ago
- A roguelike game in the SCP setting.☆15Feb 5, 2020Updated 6 years ago
- Source Code for 'Agile Artificial Intelligence in Pharo' by Alexandre Bergel☆13Feb 18, 2026Updated 2 weeks ago
- LOC Standards, Schemas, Stylesheets, etc.☆11Sep 30, 2025Updated 5 months ago
- Drift simulation☆12Aug 4, 2025Updated 7 months ago
- Piet language in Ruby☆13Nov 12, 2024Updated last year
- Chat Server PHP Frontend☆12Jun 4, 2017Updated 8 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Jun 15, 2014Updated 11 years ago
- Spectral and other frequency-based calculation objects developed by Tristan Murail☆10May 6, 2022Updated 3 years ago
- ☆10Feb 22, 2016Updated 10 years ago
- Analytics Engineering best practices and standards used at Hiflylabs☆12Jul 7, 2025Updated 8 months ago
- KuteGo is an API to play with cute Aurélie's Gophers☆14Dec 16, 2022Updated 3 years ago
- Princeton Univ. Library Apps best practices and recommendations☆14Feb 27, 2026Updated last week
- Workshop material: Composing 3D music using SuperCollider and ambisonics☆11Oct 1, 2022Updated 3 years ago
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 5 years ago
- My articles about programming☆11Jan 19, 2026Updated last month
- A style guide for Haskell code.☆14May 26, 2025Updated 9 months ago
- F9R-Dev simulator☆15Feb 1, 2016Updated 10 years ago
- Stemming library for Rust, using bindings to Snowball C implementation☆13Feb 26, 2016Updated 10 years ago
- linux kernel system call hooking☆18Dec 13, 2014Updated 11 years ago
- ☆11Jun 27, 2024Updated last year
- DekatronPC - vacuum tube and cold-cathode tube based computer☆16Feb 18, 2026Updated 2 weeks ago
- ☆14Jul 29, 2025Updated 7 months ago
- Usb keyboard implementation based on stm32f103c8t6☆10Jun 6, 2016Updated 9 years ago
- bidirectional learning midi controls for supercollider☆13Feb 2, 2022Updated 4 years ago
- Language Server for Prolog☆13May 2, 2023Updated 2 years ago
- Build loadable extensions for SQLite using Rust☆16Jul 26, 2023Updated 2 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated 6 months ago
- Modern Data Stack in a box with dbt-duckdb and Apache Superset☆16Updated this week
- Simple Android application to read content of Novopen insulin pens☆18Feb 8, 2026Updated 3 weeks ago
- Rust library for working with data from Wikidata.☆14Jul 10, 2025Updated 7 months ago
- ☆12Jun 2, 2020Updated 5 years ago
- The reference implementation for DNSLink in golang.☆16Jul 6, 2022Updated 3 years ago
- Interactive Theorem Proving course using HOL4☆12Jun 21, 2023Updated 2 years ago