📚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
- ☆13Jun 2, 2020Updated 6 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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Bug Tracker for the classic SourceForts HL2 Mod☆10Oct 15, 2018Updated 7 years ago
- 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
- Chainlink k8s environment library☆14Oct 12, 2023Updated 2 years ago
- The Form Tools documentation.☆18Feb 25, 2023Updated 3 years ago
- Raw IDA Kernel API for IDAPython☆34Apr 10, 2022Updated 4 years ago
- 搜集的一些kernel paper☆26Feb 19, 2020Updated 6 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
- Manage multiple shell instances via events☆20Dec 12, 2019Updated 6 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.
- Exports WordPress content to a WXR file.☆13Updated this week
- ClipMobile source code☆10Sep 6, 2015Updated 10 years ago
- My CTF Writeup☆28Nov 20, 2024Updated last year
- 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
- yet another shell sever☆25Sep 3, 2024Updated 2 years ago
- A python script that presents the menus at all of the University of Aveiro's canteens.☆14May 20, 2024Updated 2 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
- 《Design Patterns in Modern C++》简体中文小样...☆29May 18, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- learn javassist by example☆30Dec 14, 2021Updated 4 years ago
- 🛠️ A simple GUI of Ethereum tools and utilities for debugging☆24Jun 4, 2025Updated last year
- Discord bot for pulling cryptocurrency price data at intervals and displaying it in the users sidebar☆18Jun 9, 2022Updated 4 years ago
- Specifying a Solana IDL Standard, inspired from the Anchor IDL Standard☆21Apr 28, 2026Updated 4 months ago
- ☆34Nov 17, 2017Updated 8 years ago
- Magento 2.4.x Docker Environment☆17Jan 25, 2026Updated 7 months ago
- Python wrapper for Behance API☆24Jul 27, 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 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Command line tool for looking up Geolocation info for an ip address.☆15Mar 22, 2015Updated 11 years ago
- Fork because original project doesn't exist anymore☆19Sep 7, 2015Updated 10 years ago
- (Archive, not actively maintained) A new open source Minecraft avatar service☆13Oct 21, 2015Updated 10 years ago
- Translate Text to Color☆12Oct 10, 2015Updated 10 years ago
- Grav GitHub Plugin☆13Jun 3, 2026Updated 3 months ago
- pentomino puzzle☆17Sep 24, 2015Updated 10 years ago
- Various debugging tools such as %DumpObjects for v8☆54Jan 23, 2019Updated 7 years ago