📚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
- ☆13Jun 2, 2020Updated 6 years ago
- Boilerplate for Laravel packages☆17Mar 24, 2023Updated 3 years ago
- Logging utilities that aimed to be used in highly loaded applications☆12Nov 10, 2017Updated 8 years ago
- Bug Tracker for the classic SourceForts HL2 Mod☆10Oct 15, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A cross-platform "Super Smash Bros. Brawl" fan-game☆41May 24, 2025Updated last year
- Flutter plugin that saves images and videos to devices gallery☆11Jun 6, 2021Updated 5 years ago
- 🇵🇹 Analysis of the Portuguese parliament data☆12Dec 21, 2018Updated 7 years ago
- The reference implementation for DNSLink in golang.☆16Jul 6, 2022Updated 4 years ago
- Chainlink k8s environment library☆14Oct 12, 2023Updated 3 years ago
- The Form Tools documentation.☆18Feb 25, 2023Updated 3 years ago
- Raw IDA Kernel API for IDAPython☆34Apr 10, 2022Updated 4 years 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
- Revision tracking for various dotfiles☆18May 20, 2026Updated 4 months 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.
- Exports WordPress content to a WXR file.☆13Updated this week
- ClipMobile source code☆10Sep 6, 2015Updated 11 years ago
- sserver is a simple headless server for hosting blog/static content and selling courses from your private github repository☆13Aug 5, 2022Updated 4 years ago
- Archive of Balsn CTF 2019☆26Jan 16, 2020Updated 6 years ago
- MetaGame's SourceCred instance for tracking XP☆11Oct 27, 2023Updated 2 years ago
- Not Yet Another Password Manager written in Go using libsodium☆29Apr 8, 2023Updated 3 years ago
- 👨🏻💻 Platform where portuguese hackers can discuss the current technological landscape☆10May 25, 2022Updated 4 years ago
- yet another shell sever☆25Sep 3, 2024Updated 2 years ago
- Imports content from a given WXR file.☆22Updated this week
- 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.
- my notes☆24Updated this week
- Arch Linux Multi-version Python Repository☆21Jul 22, 2024Updated 2 years ago
- Demo Meltdown with 100 lines code☆21Mar 3, 2018Updated 8 years ago
- Single header file C++ library that provides IEEE 754 floating point types.☆23Aug 11, 2020Updated 6 years ago
- Simple, extensible PHP micro-framework.☆11Jun 28, 2026Updated 3 months ago
- Command line tool for looking up Geolocation info for an ip address.☆15Mar 22, 2015Updated 11 years ago
- Translate Text to Color☆12Oct 10, 2015Updated 11 years ago
- pentomino puzzle☆17Sep 24, 2015Updated 11 years ago
- Various debugging tools such as %DumpObjects for v8☆54Jan 23, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Flashcard app for the terminal☆10Nov 29, 2016Updated 9 years ago
- [ARCHIVED] Automatically start your minecraft server when a user joins☆20Jun 28, 2026Updated 3 months ago
- Not Yet Another Password Manager self-hosted Web app written in Go using libsodium☆42Apr 8, 2023Updated 3 years ago
- Composer wrapper for PocketMine plugin development☆11Dec 23, 2014Updated 11 years ago
- Magento 2 Email Attachments extension enable the administrator to attach necessary documents such as PDF Invoice, Shipment, Credit Memo a…☆26Feb 20, 2023Updated 3 years ago
- Turn a plain message into a rich HTML message☆21Mar 25, 2016Updated 10 years ago
- A project built at BathHack 2015 to spoof messages in Slack☆12Nov 26, 2015Updated 10 years ago