📚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
Sorting:
- Solutions for UBC PHIL220A distance-ed online assignments; PR's welcome!☆12Apr 17, 2014Updated 11 years ago
- A content-filtering bypass system developed specifically to allow access to trans-related resources on public networks (libraries, school…☆27Nov 15, 2014Updated 11 years ago
- (Archive, not actively maintained) A new open source Minecraft avatar service☆13Oct 21, 2015Updated 10 years ago
- A webhook receiver to mirror GitHub.com issues to private GitHub Enterprise forks.☆10Jan 19, 2023Updated 3 years ago
- An R Package for Building Books or Documents using pandoc☆10Aug 31, 2021Updated 4 years ago
- ✏️ Transform and handle your data, line by line☆10Apr 5, 2024Updated last year
- Course management and automation.☆16Aug 12, 2025Updated 6 months ago
- Simple, extensible PHP micro-framework.☆11Nov 12, 2024Updated last year
- Factions plugin☆10Oct 21, 2016Updated 9 years ago
- Command line tool for looking up Geolocation info for an ip address.☆15Mar 22, 2015Updated 10 years ago
- Composer wrapper for PocketMine plugin development☆11Dec 23, 2014Updated 11 years ago
- The reference implementation for DNSLink in golang.☆16Jul 6, 2022Updated 3 years ago
- Beginner-Bug-Bounty-Guide☆13Mar 26, 2022Updated 3 years ago
- extendible HTTP REST interface for mongoose models☆22Oct 20, 2016Updated 9 years ago
- UNMAINTAINED: Django/Jinja2 l10n extract/merge commands and things (Tower replacement)☆14May 11, 2022Updated 3 years ago
- Basic SOCKS v5 implementation in node.js☆20Jul 12, 2017Updated 8 years ago
- nodejs wrapper around the CMU Pronouncing Dictionary☆23Apr 4, 2013Updated 12 years ago
- cpsc490 - A seminar on programming practice; workshops and materials☆10May 1, 2018Updated 7 years ago
- Online web3 tools using web3.js for support your dapps development☆11Jan 23, 2023Updated 3 years ago
- Google Translate Translation Exploit☆10Mar 4, 2019Updated 7 years ago
- Fork of directed acyclic graph (DAG) implementation from hashicorp/terraform☆18Nov 13, 2025Updated 3 months ago
- A Simple LibreOffice Calc Extension for Querying the Binance Public API☆11May 13, 2021Updated 4 years ago
- A key/value database courtesy of Slack 🙃☆15Dec 20, 2019Updated 6 years ago
- A PHP Pspell substitute for Google Spell Check XML API.☆20Aug 18, 2024Updated last year
- A Javascript computer algebra system that graphs and differentiates☆20Apr 30, 2015Updated 10 years ago
- Script for converting .yml or .yaml translation files to Gettext PO or POT☆19May 15, 2023Updated 2 years ago
- Yet Another Log Viewer☆10Nov 17, 2015Updated 10 years ago
- Main course repository for CPSC 507.☆14Dec 2, 2025Updated 3 months ago
- A project built at BathHack 2015 to spoof messages in Slack☆12Nov 26, 2015Updated 10 years ago
- JS Particle Swarm Optimizer☆13Dec 29, 2014Updated 11 years ago
- The STiki anti-damage tool for wikis/Wikipedia☆22Dec 10, 2018Updated 7 years ago
- Automated chest refilling for PocketMine☆10Dec 25, 2016Updated 9 years ago
- A playable game of Pong in CSS☆13Nov 15, 2016Updated 9 years ago
- Java Swing-based PocketMine-MP GUI☆10Apr 2, 2016Updated 9 years ago
- A simple scoreboard manager library for Spigot plugins☆13Jan 3, 2018Updated 8 years ago
- CLI tool to book project rooms in UBC☆11Mar 23, 2018Updated 7 years ago
- PeanutizeMe.com Archive☆12Oct 4, 2025Updated 5 months ago
- 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
- A JS + WASM module for compiling graphs written in DOT to images, using GraphViz in Node.js.☆15Nov 9, 2022Updated 3 years ago