📚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
- A DCPU-16 emulator☆20May 1, 2012Updated 14 years ago
- A continuation of JVML which JITs Java bytecode to Lua bytecode rather than interpreting.☆30Sep 19, 2015Updated 10 years ago
- Bug Tracker for the classic SourceForts HL2 Mod☆10Oct 15, 2018Updated 7 years ago
- A cross-platform "Super Smash Bros. Brawl" fan-game☆41May 24, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Templates for business cards☆19Sep 26, 2018Updated 7 years ago
- Flutter plugin that saves images and videos to devices gallery☆11Jun 6, 2021Updated 5 years ago
- The Form Tools documentation.☆18Feb 25, 2023Updated 3 years ago
- A Simple LibreOffice Calc Extension for Querying the Binance Public API☆11May 13, 2021Updated 5 years ago
- Manage multiple shell instances via events☆20Dec 12, 2019Updated 6 years ago
- Generate each Docker constraint label in random nodes in the cluster.☆16Aug 26, 2024Updated last year
- ClipMobile source code☆10Sep 6, 2015Updated 10 years ago
- My CTF Writeup☆28Nov 20, 2024Updated last year
- Not Yet Another Password Manager written in Go using libsodium☆29Apr 8, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- yet another shell sever☆25Sep 3, 2024Updated last year
- A python script that presents the menus at all of the University of Aveiro's canteens.☆14May 20, 2024Updated 2 years ago
- The next generation ComputerCraft GUI Framework by oeed☆20Sep 19, 2020Updated 5 years ago
- 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
- Imports content from a given WXR file.☆21Updated this week
- A framework-agnostic floating chat window component written in Svelte☆18Jul 20, 2022Updated 4 years ago
- Discord bot for pulling cryptocurrency price data at intervals and displaying it in the users sidebar☆18Jun 9, 2022Updated 4 years ago
- Community standard file formats, communication systems, etc. for ComputerCraft and CraftOS 2.0☆22May 16, 2020Updated 6 years ago
- Magento 2.4.x Docker Environment☆17Jan 25, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Python wrapper for Behance API☆24Jul 27, 2018Updated 7 years ago
- a few Ghidra scripts for dumping PCode data☆50May 21, 2019Updated 7 years ago
- (Archive, not actively maintained) A new open source Minecraft avatar service☆13Oct 21, 2015Updated 10 years ago
- Grav GitHub Plugin☆13Jun 3, 2026Updated last month
- pentomino puzzle☆17Sep 24, 2015Updated 10 years ago
- Various debugging tools such as %DumpObjects for v8☆54Jan 23, 2019Updated 7 years ago
- Flashcard app for the terminal☆10Nov 29, 2016Updated 9 years ago
- Make your very own SOFe-themed profile picture!☆10Jan 6, 2017Updated 9 years ago
- Not Yet Another Password Manager self-hosted Web app written in Go using libsodium☆42Apr 8, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Composer wrapper for PocketMine plugin development☆11Dec 23, 2014Updated 11 years ago
- Turn a plain message into a rich HTML message☆21Mar 25, 2016Updated 10 years ago
- Course management and automation.☆16May 15, 2026Updated 2 months ago
- cpsc490 - A seminar on programming practice; workshops and materials☆10May 1, 2018Updated 8 years ago
- JS Particle Swarm Optimizer☆13Dec 29, 2014Updated 11 years ago
- Exploit for the [pwn] just-in-time challenge from google ctf 2018's finals (TurboFan bug)☆60Jan 26, 2019Updated 7 years ago
- Website for LANDrop.☆27Oct 12, 2024Updated last year