Solutions for the book "Language Proof and Logic".
☆78Aug 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:
- 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
- Prolog list utility predicates☆11Jul 19, 2018Updated 8 years ago
- A VS Code extension that provides language support for prolog☆105Oct 30, 2023Updated 2 years ago
- ☆13Jun 2, 2020Updated 6 years ago
- PHP Vulnerability Hunter (fork)☆12May 8, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 8 months ago
- Watching TeX digest tokens☆28Jan 5, 2024Updated 2 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆32Jun 14, 2024Updated 2 years 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
- A Common Lisp painting application☆32May 17, 2026Updated 4 months ago
- Emotion classification of speech using GMMHMMs☆10Jul 1, 2016Updated 10 years 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☆18Jun 23, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Linux Programming Interface Kerrisk☆12Jan 11, 2019Updated 7 years ago
- Variational Interpretable Concept Embeddings☆18Dec 12, 2023Updated 2 years ago
- [NeurIPS2019] Brain-Like Object Recognition with High-Performing Shallow Recurrent ANNs☆15Jan 26, 2020Updated 6 years ago
- Pacman that plays itself☆12May 2, 2016Updated 10 years ago
- simple gemini browser for reMarkable☆14Mar 10, 2021Updated 5 years ago
- Google Translate Translation Exploit☆10Mar 4, 2019Updated 7 years ago
- DuraCloud open source project☆18Jun 1, 2026Updated 4 months ago
- Tablegen bindings for Rust☆19Sep 25, 2026Updated 2 weeks ago
- Asynchronous Bittorrent Client written in C☆17Feb 13, 2024Updated 2 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.
- Deep Reinforcement Learning DQN on Unity ML Agent☆11Sep 2, 2018Updated 8 years ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- ☆16May 11, 2022Updated 4 years ago
- Spectral and other frequency-based calculation objects developed by Tristan Murail☆11May 6, 2022Updated 4 years ago
- Workshop material: Composing 3D music using SuperCollider and ambisonics☆11Oct 1, 2022Updated 4 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 9 years ago
- ☆50May 15, 2023Updated 3 years ago
- Ruby on Rails with RDF capabilities☆11Sep 14, 2022Updated 4 years ago
- segfault is a community driven hackzine☆12May 27, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- UCalgary version of forallx, an introduction to formal logic☆130Oct 3, 2026Updated last week
- bidirectional learning midi controls for supercollider☆13Feb 2, 2022Updated 4 years ago
- Source code and related files for the text editor EINE from 1975-1981☆16Aug 29, 2025Updated last year
- Subdomain crawler with wordlist using python☆15Mar 22, 2020Updated 6 years ago
- The code for performing MTL on object recognition with neural data☆16Nov 1, 2021Updated 4 years ago
- Attempt to find a brute-force solution to Tetris☆18May 29, 2022Updated 4 years ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 6 months ago