📚Solutions to Language, Proof and Logic (2nd Edition)
☆22Dec 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 UBC PHIL220A distance-ed online assignments; PR's welcome!☆12Apr 17, 2014Updated 12 years ago
- The reference implementation for DNSLink in golang.☆16Jul 6, 2022Updated 3 years ago
- Chainlink k8s environment library☆14Oct 12, 2023Updated 2 years ago
- Beginner-Bug-Bounty-Guide☆13Mar 26, 2022Updated 4 years ago
- Generate each Docker constraint label in random nodes in the cluster.☆16Aug 26, 2024Updated last year
- 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.
- Exports WordPress content to a WXR file.☆13Jun 8, 2026Updated last week
- The Form Tools documentation.☆18Feb 25, 2023Updated 3 years ago
- [DEPRECATED] Use https://github.com/runtimejs/runtime-cli☆11Jul 18, 2015Updated 10 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
- 🛠️ A simple GUI of Ethereum tools and utilities for debugging☆24Jun 4, 2025Updated last year
- extendible HTTP REST interface for mongoose models☆22Oct 20, 2016Updated 9 years ago
- Discord bot for pulling cryptocurrency price data at intervals and displaying it in the users sidebar☆18Jun 9, 2022Updated 4 years ago
- A list of all web3 companies/startups/ideas that are currently run by Portuguese people.☆17May 21, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Arch Linux Multi-version Python Repository☆22Jul 22, 2024Updated last year
- Specifying a Solana IDL Standard, inspired from the Anchor IDL Standard☆21Apr 28, 2026Updated last month
- fuse based filesystem that notifies you when changes happen☆39May 21, 2015Updated 11 years ago
- expose a file system over http☆29Sep 18, 2018Updated 7 years ago
- Command line tool for looking up Geolocation info for an ip address.☆15Mar 22, 2015Updated 11 years ago
- [ARCHIVED] Historical real-time-map project - no longer maintained☆40Jan 5, 2026Updated 5 months ago
- Simplifies daemons and services creation for GNU/Linux and Windows☆38Jan 30, 2019Updated 7 years ago
- nodejs wrapper around the CMU Pronouncing Dictionary☆23Apr 4, 2013Updated 13 years ago
- ☆29Dec 7, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Yeoman generator for atom editor packages.☆40Feb 15, 2026Updated 4 months ago
- Grav GitHub Plugin☆13Jun 3, 2026Updated last week
- A 16 bit style game on the 16-bit IBM XT☆28Nov 16, 2023Updated 2 years ago
- [MIRROR] Automatically start your minecraft server when a user joins☆20Jun 4, 2026Updated last week
- A Javascript computer algebra system that graphs and differentiates☆20Apr 30, 2015Updated 11 years ago
- Composer wrapper for PocketMine plugin development☆11Dec 23, 2014Updated 11 years ago
- Responsive minimalist theme for the Ghost publishing platform☆19Apr 12, 2015Updated 11 years ago
- Flashcard app for the terminal☆10Nov 29, 2016Updated 9 years ago
- Course management and automation.☆16May 15, 2026Updated last month
- 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.
- JS Particle Swarm Optimizer☆13Dec 29, 2014Updated 11 years ago
- A project built at BathHack 2015 to spoof messages in Slack☆12Nov 26, 2015Updated 10 years ago
- Java Swing-based PocketMine-MP GUI☆10Apr 2, 2016Updated 10 years ago
- Repository for keeping track of meeting notes and agendas for the core community call☆30Nov 20, 2025Updated 6 months ago
- A CLI Wrapper around the WordPress WXR Exporter. (Deprecated; please check out http://wp-cli.org)☆39Sep 25, 2012Updated 13 years ago
- Simple PHP script for controlling the lifecycle of PocketMine servers☆11Nov 23, 2015Updated 10 years ago
- Yeoman Generator for a Angular-Ionic-Cordova powered webapp☆25Sep 1, 2015Updated 10 years ago