📚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
- Proposal for the next generation of course-oriented IR.☆10Dec 24, 2021Updated 4 years ago
- Library for accessing the Mailbox Interface on VideoCore IV☆11Nov 28, 2021Updated 4 years ago
- A DCPU-16 emulator and assembler written in Javascript☆31Jun 18, 2017Updated 8 years ago
- A workspace for the programming assignments in the Introduction to Robotics lecture.☆12May 15, 2024Updated 2 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.
- UNMAINTAINED: Django/Jinja2 l10n extract/merge commands and things (Tower replacement)☆14May 11, 2022Updated 4 years ago
- ✏️ Transform and handle your data, line by line☆10Apr 5, 2024Updated 2 years ago
- The reference implementation for DNSLink in golang.☆16Jul 6, 2022Updated 3 years ago
- A continuation of JVML which JITs Java bytecode to Lua bytecode rather than interpreting.☆30Sep 19, 2015Updated 10 years ago
- A CC build system☆18May 18, 2019Updated 7 years ago
- Memory-efficient, streaming implementation of the tar archive format in Dart☆29May 11, 2026Updated 2 weeks ago
- Some basics on how to get started with Ghdira Scripting☆28Nov 11, 2025Updated 6 months ago
- A Simple LibreOffice Calc Extension for Querying the Binance Public API☆11May 13, 2021Updated 5 years ago
- Raw IDA Kernel API for IDAPython☆34Apr 10, 2022Updated 4 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.
- My CTF Writeup☆28Nov 20, 2024Updated last year
- [DEPRECATED] Use https://github.com/runtimejs/runtime-cli☆11Jul 18, 2015Updated 10 years ago
- yet another shell sever☆25Sep 3, 2024Updated last year
- Raspberry Si4688 FM / DAB+ Receiver☆33Sep 3, 2019Updated 6 years ago
- The old version of a project for starting and sending commands to Minecraft Servers via a web interface.☆18Jul 27, 2020Updated 5 years ago
- The next generation ComputerCraft GUI Framework by oeed☆20Sep 19, 2020Updated 5 years ago
- extendible HTTP REST interface for mongoose models☆22Oct 20, 2016Updated 9 years ago
- 🏃♂️ A new way to execute commands and manipulate command output in Go☆41May 1, 2026Updated 3 weeks ago
- Demo Meltdown with 100 lines code☆21Mar 3, 2018Updated 8 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.
- An llvm pass to perform taint analysis on your code.☆37Sep 25, 2019Updated 6 years ago
- Debug pwn in docker, no need for virtual machines☆38Oct 10, 2025Updated 7 months ago
- fuse based filesystem that notifies you when changes happen☆39May 21, 2015Updated 11 years ago
- Simple, extensible PHP micro-framework.☆11Updated this week
- 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
- nodejs wrapper around the CMU Pronouncing Dictionary☆23Apr 4, 2013Updated 13 years ago
- (Archive, not actively maintained) A new open source Minecraft avatar service☆13Oct 21, 2015Updated 10 years ago
- a few Ghidra scripts for dumping PCode data☆50May 21, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Translate Text to Color☆12Oct 10, 2015Updated 10 years ago
- All virtualization escape challenges and writeups in RealWorldCTF☆89Jan 14, 2019Updated 7 years ago
- Yeoman generator for atom editor packages.☆40Feb 15, 2026Updated 3 months ago
- [MIRROR] Automatically start your minecraft server when a user joins☆20Updated this week
- Solutions to exercises of Modern Compiler Implementation in C book☆36Dec 7, 2019Updated 6 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