📚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:
- Google Drive API access☆10Sep 30, 2025Updated last year
- 15-745 note☆13Jul 16, 2020Updated 6 years ago
- Mix2 (Mixture of Mixups), a framework to handle multi-label and class imbalance. Experiments on AnuraSet, a dataset of anuran sounds. (EU…☆12Jan 1, 2025Updated last year
- Descobrindo o SUS: uma análise das bases de dados públicas de saúde usando R☆11Nov 19, 2018Updated 7 years ago
- Boilerplate for Laravel packages☆17Mar 24, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Vuejs tutorial☆14Apr 16, 2018Updated 8 years ago
- Playlist generator based on the music preferences from multiple users using Python and the spotify WEB API☆14Dec 23, 2020Updated 5 years ago
- The Form Tools documentation.☆18Feb 25, 2023Updated 3 years ago
- RTP audio podcasts downloader☆10Sep 16, 2021Updated 5 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
- Templates for business cards☆19Sep 26, 2018Updated 8 years ago
- Online web3 tools using web3.js for support your dapps development☆11Oct 21, 2026Updated last week
- A Simple LibreOffice Calc Extension for Querying the Binance Public API☆11May 13, 2021Updated 5 years ago
- Exports WordPress content to a WXR file.☆13Updated this week
- 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.
- Generate each Docker constraint label in random nodes in the cluster.☆16Aug 26, 2024Updated 2 years ago
- yet another shell sever☆25Sep 3, 2024Updated 2 years ago
- Chainlink k8s environment library☆14Oct 12, 2023Updated 3 years ago
- Imports content from a given WXR file.☆22Updated this week
- Simple, extensible PHP micro-framework.☆11Updated this week
- Translate Text to Color☆12Oct 10, 2015Updated 11 years ago
- Project which started out as a calculator and evolved from there☆10Jul 15, 2020Updated 6 years ago
- Simple Google ReCAPTCHA microservice for Zeit Now 2.0☆14Jan 26, 2020Updated 6 years ago
- Turing machines implemented in CSS☆84Sep 24, 2024Updated 2 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.
- Grav GitHub Plugin☆13Jun 3, 2026Updated 5 months ago
- Online Plugin Generator - source code (can be deployed directly by a git clone)☆10Mar 24, 2016Updated 10 years ago
- Java Swing-based PocketMine-MP GUI☆10Apr 2, 2016Updated 10 years ago
- Flashcard app for the terminal☆10Nov 29, 2016Updated 9 years ago
- [ARCHIVED] Automatically start your minecraft server when a user joins☆20Jun 28, 2026Updated 4 months ago
- Not Yet Another Password Manager self-hosted Web app written in Go using libsodium☆42Apr 8, 2023Updated 3 years ago
- A simple scoreboard manager library for Spigot plugins☆13Jan 3, 2018Updated 8 years ago
- Make your very own SOFe-themed profile picture!☆10Jan 6, 2017Updated 9 years ago
- Create a Slack Live Blog using Node.js, Express, RethinkDB, Socket.io, & Handlebars☆15Feb 24, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A project built at BathHack 2015 to spoof messages in Slack☆12Nov 26, 2015Updated 10 years ago
- An MCPE client simulator, tested with PocketMine-MP by @PocketMine and designed for @PocketMine plugins debugging.☆11Feb 15, 2015Updated 11 years ago
- Mimic pure rendering with a cloned DOM node☆20Oct 12, 2015Updated 11 years ago
- Exploit for the [pwn] just-in-time challenge from google ctf 2018's finals (TurboFan bug)☆60Jan 26, 2019Updated 7 years ago
- A MCPE-like Banner Generator for PHP☆11Oct 19, 2013Updated 13 years ago
- Exploit for a bug in TurboFan's typing of JSCall nodes for builtins kStringLastIndexOf and kStringIndexOf☆59Apr 25, 2019Updated 7 years ago
- PoC CVE-2021-37980 : Inappropriate implementation in Sandbox (windows only)☆70Oct 14, 2021Updated 5 years ago