📚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. 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 11 years ago
- dart:ffi bindings with operating system APIs (file permissions, PC pipes, etc.).☆14Jun 29, 2021Updated 4 years ago
- Use wireguard in your github action workflows☆11Jun 8, 2021Updated 4 years ago
- Give Any Hyprspace Node a Public IP Address☆17Feb 24, 2024Updated 2 years ago
- A custom virtual keyboard example for Flutter☆15Jan 25, 2023Updated 3 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.
- 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
- UNMAINTAINED: Django/Jinja2 l10n extract/merge commands and things (Tower replacement)☆14May 11, 2022Updated 3 years ago
- Remote control for Jura coffee maker☆18Nov 14, 2017Updated 8 years ago
- The reference implementation for DNSLink in golang.☆16Jul 6, 2022Updated 3 years ago
- A DCPU-16 emulator☆20May 1, 2012Updated 13 years ago
- ☆19Jan 17, 2016Updated 10 years ago
- A flutter-pi-app running on a RaspberryPi 4, being the infotainment system for a custom builded e-kart, planned by two brothers.☆17Apr 5, 2023Updated 2 years ago
- DCPU-Admiral is python inspired operating environment for DCPU☆28Apr 3, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Wraps the ElasticSearch NPM package and provides helper functions.☆12Apr 26, 2016Updated 9 years ago
- Logging utilities that aimed to be used in highly loaded applications☆12Nov 10, 2017Updated 8 years ago
- A CC build system☆17May 18, 2019Updated 6 years ago
- A cross-platform "Super Smash Bros. Brawl" fan-game☆41May 24, 2025Updated 10 months ago
- 0x10c Computing Standards. This repository is intended to contain as many relevant/popular standards as possible.☆210May 2, 2012Updated 13 years ago
- Memory-efficient, streaming implementation of the tar archive format in Dart☆29Dec 15, 2025Updated 3 months ago
- Some fancy footwork to get github usernames from email addresses☆12Mar 16, 2017Updated 9 years ago
- A Sails hook for request validations☆11Jan 7, 2023Updated 3 years ago
- 🇵🇹 Analysis of the Portuguese parliament data☆12Dec 21, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Weston JSON-timeline parser☆26Aug 30, 2019Updated 6 years ago
- Raspberry Pi 7 inch touchscreen controller display hacking (with Raspberry Pi 3 as host)☆27Jun 18, 2017Updated 8 years ago
- Chainlink k8s environment library☆14Oct 12, 2023Updated 2 years ago
- edx course uber tool☆10Aug 28, 2022Updated 3 years ago
- Bug Tracker for the classic SourceForts HL2 Mod☆10Oct 15, 2018Updated 7 years ago
- Revision tracking for various dotfiles☆17Mar 28, 2021Updated 4 years ago
- Manage multiple shell instances via events☆20Dec 12, 2019Updated 6 years ago
- Beginner-Bug-Bounty-Guide☆13Mar 26, 2022Updated 4 years ago
- ClipMobile source code☆10Sep 6, 2015Updated 10 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.
- Generate each Docker constraint label in random nodes in the cluster.☆16Aug 26, 2024Updated last year
- sserver is a simple headless server for hosting blog/static content and selling courses from your private github repository☆13Aug 5, 2022Updated 3 years ago
- Exports WordPress content to a WXR file.☆13Mar 19, 2026Updated last week
- 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
- Raspberry Si4688 FM / DAB+ Receiver☆32Sep 3, 2019Updated 6 years ago
- 👨🏻💻 Platform where portuguese hackers can discuss the current technological landscape☆10May 25, 2022Updated 3 years ago
- Prototypes to help us decide which technical stack to choose for Veshell☆31Aug 27, 2024Updated last year