📚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
- Integrated DCPU-16 development and emulation environment☆16Mar 17, 2016Updated 10 years ago
- Remote control for Jura coffee maker☆18Nov 14, 2017Updated 8 years ago
- ☆13Jun 2, 2020Updated 6 years ago
- A small python tool for downloading bootloader to ddr through serial port☆14Feb 28, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- 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
- ☆17Jul 31, 2021Updated 5 years ago
- A cross-platform "Super Smash Bros. Brawl" fan-game☆41May 24, 2025Updated last year
- Templates for business cards☆19Sep 26, 2018Updated 7 years ago
- kde xml file for zig syntax highlighting☆19Nov 12, 2022Updated 3 years ago
- 🇵🇹 Analysis of the Portuguese parliament data☆12Dec 21, 2018Updated 7 years ago
- 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.
- Audio Knowledge Base and Best Known Method ...☆25Nov 19, 2020Updated 5 years ago
- Manage multiple shell instances via events☆20Dec 12, 2019Updated 6 years ago
- Revision tracking for various dotfiles☆17May 20, 2026Updated 2 months 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
- My CTF Writeup☆28Nov 20, 2024Updated last year
- 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
- Wayland compositor with hacks for Rockchip Linux SDK☆30Jul 21, 2026Updated 3 weeks 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.
- linux kernel internals research details☆44Jan 9, 2024Updated 2 years ago
- 👨🏻💻 Platform where portuguese hackers can discuss the current technological landscape☆10May 25, 2022Updated 4 years ago
- Prototypes to help us decide which technical stack to choose for Veshell☆31Aug 27, 2024Updated last year
- yet another shell sever☆25Sep 3, 2024Updated last year
- Imports content from a given WXR file.☆21Updated this week
- 🛠️ A simple GUI of Ethereum tools and utilities for debugging☆24Jun 4, 2025Updated last year
- A framework-agnostic floating chat window component written in Svelte☆18Jul 20, 2022Updated 4 years ago
- Demo Meltdown with 100 lines code☆21Mar 3, 2018Updated 8 years ago
- Simple, extensible PHP micro-framework.☆11Jun 28, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mageplaza PDF Invoice Templates for Magento 2 solves problems that online store have when they send billing documents to their customers.…☆26Dec 17, 2021Updated 4 years ago
- Command line tool for looking up Geolocation info for an ip address.☆15Mar 22, 2015Updated 11 years ago
- a few Ghidra scripts for dumping PCode data☆50May 21, 2019Updated 7 years ago
- Translate Text to Color☆12Oct 10, 2015Updated 10 years ago
- Literally a public cookbook for programmers☆20Oct 18, 2019Updated 6 years ago
- Grav GitHub Plugin☆13Jun 3, 2026Updated 2 months ago
- Dashboard com dados de vacinação em PT. Feito com React e NextJS☆19Feb 21, 2022Updated 4 years ago