📚Solutions to Language, Proof and Logic (2nd Edition)
☆21Dec 23, 2020Updated 5 years ago
Alternatives and similar repositories for LPL
Users that are interested in LPL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solutions for the book "Language Proof and Logic".☆76Aug 26, 2024Updated last year
- Solutions for UBC PHIL220A distance-ed online assignments; PR's welcome!☆12Apr 17, 2014Updated 11 years ago
- A DCPU-16 emulator and assembler written in Javascript☆31Jun 18, 2017Updated 8 years ago
- ☆12Jun 2, 2020Updated 5 years ago
- flutter engine binaries☆22Apr 6, 2026Updated last week
- 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.
- The sigarra scraping library no one asked for☆14May 22, 2023Updated 2 years ago
- DCPU-Admiral is python inspired operating environment for DCPU☆28Apr 3, 2021Updated 5 years ago
- Logging utilities that aimed to be used in highly loaded applications☆12Nov 10, 2017Updated 8 years ago
- Google Translate Translation Exploit☆10Mar 4, 2019Updated 7 years ago
- segfault is a community driven hackzine☆12Mar 25, 2026Updated 3 weeks ago
- Flutter plugin that saves images and videos to devices gallery☆10Jun 6, 2021Updated 4 years ago
- A Simple LibreOffice Calc Extension for Querying the Binance Public API☆11May 13, 2021Updated 4 years ago
- Chainlink k8s environment library☆14Oct 12, 2023Updated 2 years ago
- Manage multiple shell instances via events☆20Dec 12, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ClipMobile source code☆10Sep 6, 2015Updated 10 years ago
- Generate each Docker constraint label in random nodes in the cluster.☆16Aug 26, 2024Updated last year
- Magento 2 Instagram Feed Extension. Instagram Feed is an effective extension to integrate Instagram images to Magento 2 stores. This tren…☆14Feb 20, 2023Updated 3 years ago
- Exports WordPress content to a WXR file.☆13Mar 27, 2026Updated 2 weeks ago
- Online web3 tools using web3.js for support your dapps development☆11Jan 23, 2023Updated 3 years ago
- Not Yet Another Password Manager written in Go using libsodium☆29Apr 8, 2023Updated 3 years ago
- The Form Tools documentation.☆18Feb 25, 2023Updated 3 years ago
- yet another shell sever☆25Sep 3, 2024Updated last year
- I had a dream on Nov 21, 2019 of a game. I woke up at 4:00pm that day, started programming it then, and 7 and 1/2 hours later, it was don…☆15Jan 31, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- extendible HTTP REST interface for mongoose models☆22Oct 20, 2016Updated 9 years ago
- A python script that presents the menus at all of the University of Aveiro's canteens.☆13May 20, 2024Updated last year
- Discord bot for pulling cryptocurrency price data at intervals and displaying it in the users sidebar☆18Jun 9, 2022Updated 3 years ago
- Arch Linux Multi-version Python Repository☆22Jul 22, 2024Updated last year
- Specifying a Solana IDL Standard, inspired from the Anchor IDL Standard☆21Nov 25, 2022Updated 3 years ago
- Exploit for a bug in TurboFan's typing of JSCall nodes for builtins kStringLastIndexOf and kStringIndexOf☆60Apr 25, 2019Updated 6 years ago
- Simple, extensible PHP micro-framework.☆11Nov 12, 2024Updated last year
- [ARCHIVED] Historical real-time-map project - no longer maintained☆40Jan 5, 2026Updated 3 months ago
- nodejs wrapper around the CMU Pronouncing Dictionary☆23Apr 4, 2013Updated 13 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.
- (Archive, not actively maintained) A new open source Minecraft avatar service☆13Oct 21, 2015Updated 10 years ago
- Fork because original project doesn't exist anymore☆19Sep 7, 2015Updated 10 years ago
- Grav GitHub Plugin☆13Dec 15, 2020Updated 5 years ago
- Various debugging tools such as %DumpObjects for v8☆56Jan 23, 2019Updated 7 years ago
- A Javascript computer algebra system that graphs and differentiates☆20Apr 30, 2015Updated 10 years ago
- Make your very own SOFe-themed profile picture!☆10Jan 6, 2017Updated 9 years ago
- Basic SOCKS v5 implementation in node.js☆20Jul 12, 2017Updated 8 years ago