Solutions for the book "Language Proof and Logic".
☆77Aug 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains all files and exercises done from chapter 1 to 6, including some exercises for other chapters☆16Jun 10, 2023Updated 3 years ago
- OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX d…☆18Feb 2, 2024Updated 2 years ago
- lambda calculus interpreter☆11Mar 31, 2021Updated 5 years ago
- tools for common-logic☆23Mar 5, 2013Updated 13 years ago
- remarcaml is a markup language that's actually just ocaml in disguise☆27Sep 18, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Project for HIDING SPEAKER’S SEX IN SPEECH USING ZERO-EVIDENCE SPEAKER REPRESENTATION IN AN ANALYSIS/SYNTHESIS PIPELINE☆15Nov 30, 2022Updated 3 years ago
- Watching TeX digest tokens☆28Jan 5, 2024Updated 2 years ago
- OCaml-safepass is a library enabling the safe storage of user passwords, for use in web applications☆32Nov 29, 2023Updated 2 years ago
- Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.☆36Apr 6, 2022Updated 4 years ago
- Simplified version of flashrom for installing new system firmware☆23Mar 10, 2023Updated 3 years ago
- Documentation for MX Linux☆12Jan 17, 2026Updated 6 months ago
- Javascript free captcha written in PHP☆11Mar 17, 2022Updated 4 years ago
- Static site generator☆12Apr 6, 2025Updated last year
- A repository with UEFI research stuff☆17Jun 23, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 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 6 years ago
- simple gemini browser for reMarkable☆14Mar 10, 2021Updated 5 years ago
- Protect your sensitive HTML content with this AES encryption HTML loader. User will need to key in password in order to view the HTML con…☆11May 5, 2015Updated 11 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆53Dec 12, 2021Updated 4 years ago
- DuraCloud open source project☆18Jun 1, 2026Updated last month
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- Spectral and other frequency-based calculation objects developed by Tristan Murail☆11May 6, 2022Updated 4 years ago
- Hourly Checked and Updated IP Ranges of AWS Servers☆20Feb 27, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This repository contains the source code of the OWASP TOP 10 NodeJS Panel I have used☆10Nov 20, 2022Updated 3 years ago
- bidirectional learning midi controls for supercollider☆13Feb 2, 2022Updated 4 years ago
- LOC Standards, Schemas, Stylesheets, etc.☆11Sep 30, 2025Updated 9 months ago
- Ruby on Rails with RDF capabilities☆11Sep 14, 2022Updated 3 years ago
- UCalgary version of forallx, an introduction to formal logic☆129Dec 18, 2025Updated 7 months ago
- Blockchain, basic implementation in go☆16Oct 3, 2017Updated 8 years ago
- ☆50May 15, 2023Updated 3 years ago
- A cross-platform "Super Smash Bros. Brawl" fan-game☆41May 24, 2025Updated last year
- Source code and related files for the text editor EINE from 1975-1981☆15Aug 29, 2025Updated 11 months 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.
- Templates for business cards☆19Sep 26, 2018Updated 7 years ago
- A super simple function navigator for fzf☆19Feb 24, 2025Updated last year
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 12 years ago
- Attempt to find a brute-force solution to Tetris☆18May 29, 2022Updated 4 years ago
- Read Registry.pol files on Linux, or anywhere Python runs!☆19Jun 12, 2023Updated 3 years ago
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated 4 months ago
- ☆26Sep 6, 2017Updated 8 years ago