carlosantq / LPL
📚Solutions to Language, Proof and Logic (2nd Edition)
☆21Updated 4 years ago
Alternatives and similar repositories for LPL:
Users that are interested in LPL are comparing it to the libraries listed below
- Stütze durch "Tarski's World", "Fitch" und "Boole"☆6Updated 6 years ago
- This repository contains all files and exercises done from chapter 1 to 6, including some exercises for other chapters☆17Updated last year
- Implementação da interface web da plataforma IntegraTI☆8Updated 7 years ago
- ☆32Updated 7 years ago
- YAMS: Awesome MIPS Server☆19Updated 7 years ago
- O Tal Canal é uma rede social de comunidades onde os portugueses podem falar sobre os seus interesses e discutir apaixonadamente as suas …☆10Updated last year
- Hack client for i-Ready, allows you to get minutes and skip lessons easier than ever before!☆17Updated 2 years ago
- React hook to leverage Credential Management API☆10Updated last year
- javascript:(function()%7Bfunction start() %7B%0A loadGUI()%3B%0A addUtils()%3B%0A%7D%0A%0Afunction wait(time) %7B%0A return new …☆25Updated 2 years ago
- A Git, C, POSIX and CMake tutorial☆14Updated 2 years ago
- Balsn CTF 2019 Proof-of-Work (PoW)☆8Updated last year
- Blooket extension based off: https://github.com/glixzzy/blooket-hack☆11Updated last year
- A browser extension that gives you insight into your engagement with Web Monetization.☆24Updated last year
- A proof of concept which generates mutations based on an abstract syntax tree☆15Updated 8 years ago
- A simple html plugin to allow people to donate the equivalent bitcoin amount of a donation of a chosen fiat currency.☆32Updated 7 years ago
- Codebase for the term project of CS202, 2022 Winter☆3Updated 2 years ago
- The Django backend running RACTF wargame events.☆25Updated 2 months ago
- 🌐CMS & API for InternetSemLimites☆17Updated 6 years ago
- A post brexit plugin for post-css made for true British English programmers☆18Updated 5 years ago
- The core library driving üWave, the self-hosted collaborative listening platform.☆31Updated this week
- this a iready hack that gets enabled in your bookmarks☆8Updated 2 years ago
- Light, Electron-based Wrapper around GraphiQL☆12Updated 4 years ago
- 🥊Choose your favorite programming languages☆22Updated 6 years ago
- ☆36Updated last year
- PHP Framework☆19Updated 4 years ago
- Collection of Basic Astronomy Tools☆11Updated 2 years ago
- API não oficial do Cartola FC para Node.js☆11Updated 8 years ago
- A curated list of awesome programming language design, domain specific languages and homebrew compilers☆41Updated 2 years ago
- 🧱 Chunk is a download manager for slow and unstable servers☆53Updated 4 months ago
- MOVED TO: https://cirosantilli.com/linux-kernel-module-cheat/userland-assembly with code at https://github.com/cirosantilli/linux-kernel-…☆198Updated 5 years ago