Solutions for the book "Language Proof and Logic".
☆77Aug 26, 2024Updated 2 years ago
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:
- Implementation of "todo-backed"☆11Aug 24, 2014Updated 12 years ago
- DRS Analysis Tool (DAT) parses and analyses Discourse Representation Structure output from Attempto Controlled English (ACE) parser (APE)…☆13Jan 13, 2019Updated 7 years ago
- Prolog list utility predicates☆11Jul 19, 2018Updated 8 years ago
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- lambda calculus interpreter☆11Mar 31, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An IDE for ACL2☆21Aug 24, 2020Updated 6 years ago
- tools for common-logic☆23Mar 5, 2013Updated 13 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years ago
- ☆29Mar 24, 2020Updated 6 years ago
- Remote attestation for the safeboot system☆11Mar 10, 2022Updated 4 years ago
- This repository is the store of all the main points and suggestions I have come across on LinkedIn, podcasts and YouTube related to findi…☆11Jun 4, 2021Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Feb 2, 2026Updated 8 months ago
- Simple web to share books, Calibre, Jester, Spectre CSS, No JavaScript, WebP & ZIP to reduce bandwidth☆10Jun 6, 2019Updated 7 years ago
- Some good feeds for people who seriously want to keep up to date with InfoSec news and tech☆13Mar 7, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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
- Qubes OS integration for Whonix Templates and App Qubes☆16Oct 11, 2026Updated 2 weeks ago
- Project for HIDING SPEAKER’S SEX IN SPEECH USING ZERO-EVIDENCE SPEAKER REPRESENTATION IN AN ANALYSIS/SYNTHESIS PIPELINE☆15Nov 30, 2022Updated 3 years ago
- Urho3D extra minimal examples and demos. Tested in Ubuntu 18.04.☆11Feb 25, 2022Updated 4 years ago
- Credential and sensitive information harvester for kubernetes environments.☆12Mar 2, 2021Updated 5 years ago
- A command-line interface for interacting with Distant Reader study carrels☆10Jun 26, 2026Updated 4 months ago
- simple gemini browser for reMarkable☆14Mar 10, 2021Updated 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
- A research done by Yaara Shriki and Roman Zaikin on Google maps April Fool Prank.☆15Oct 21, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Javascript free captcha written in PHP☆11Mar 17, 2022Updated 4 years ago
- Source code and related files for the text editor EINE from 1975-1981☆16Aug 29, 2025Updated last year
- A JavaScript/CoffeeScript parser for TOML, with CoffeeScript Literature☆13Jan 9, 2014Updated 12 years ago
- Very fast and tiny 64-bit Lisp interpreter: object-oriented, dynamic and functional. Comes with a database, prolog-engine, coroutines, na…☆41Dec 6, 2018Updated 7 years ago
- Workshop material: Composing 3D music using SuperCollider and ambisonics☆11Oct 1, 2022Updated 4 years ago
- PentBox is a tool that allows us to create honeypot in our system this is written in ruby language.☆10Oct 1, 2025Updated last year
- Preview TeX math equations inline☆15Aug 4, 2024Updated 2 years ago
- Pure Data vanilla patches☆11Dec 12, 2019Updated 6 years ago
- bidirectional learning midi controls for supercollider☆13Feb 2, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MOVING TO: https://cirosantilli.com/mathematics Mathematics tutorials, cheats, course notes, exercises and books.☆11Aug 22, 2021Updated 5 years ago
- Linux Programming Interface Kerrisk☆12Jan 11, 2019Updated 7 years ago
- Bug Hunting Handbook☆12Aug 11, 2022Updated 4 years ago
- The Python programming language☆11Updated this week
- RDF parser written in Elixir☆13Apr 5, 2017Updated 9 years ago
- This repository contains the source code of the OWASP TOP 10 NodeJS Panel I have used☆10Nov 20, 2022Updated 3 years ago
- LOC Standards, Schemas, Stylesheets, etc.☆11Sep 30, 2025Updated last year