carlosantq / LPLLinks
📚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
Sorting:
- Stütze durch "Tarski's World", "Fitch" und "Boole"☆6Updated 7 years ago
- This repository contains all files and exercises done from chapter 1 to 6, including some exercises for other chapters☆17Updated 2 years ago
- Solutions for UBC PHIL220A distance-ed online assignments; PR's welcome!☆12Updated 11 years ago
- A Git, C, POSIX and CMake tutorial☆15Updated 2 years ago
- javascript:(function()%7Bfunction start() %7B%0A loadGUI()%3B%0A addUtils()%3B%0A%7D%0A%0Afunction wait(time) %7B%0A return new …☆33Updated 2 years ago
- Codebase for the term project of CS202, 2022 Winter☆3Updated 3 years ago
- School hacks blooket hacks from glixzzy if the school cheats website is blocked (gamemode version)☆10Updated 3 years ago
- Hack client for i-Ready, allows you to get minutes and skip lessons easier than ever before!☆18Updated 3 years ago
- Minimal Git repository to illustrate partial clones (--filter=blob:none): https://stackoverflow.com/questions/600079/how-do-i-clone-a-sub…☆19Updated 3 years ago
- C programming☆14Updated 2 years ago
- ☆4Updated 2 years ago
- Blooket extension based off: https://github.com/glixzzy/blooket-hack☆11Updated last year
- HTML5 game inspired by Slay.☆28Updated 5 years ago
- this a iready hack that gets enabled in your bookmarks☆11Updated 3 years ago
- No Light - one of the many fun mini-events we run.☆33Updated 2 months ago
- This repository contains alx projects on C programming☆7Updated last year
- Implementations of security algorithms.☆60Updated 4 years ago
- C programming☆6Updated 2 years ago
- Experimenting with ideas for Rubik's Cube simulation☆20Updated 6 years ago
- Compile-to-JavaScript language for people that write JavaScript☆59Updated 8 years ago
- iready hacks☆12Updated last year
- Curso de preparación para presentar la prueba y entrevista técnica del programa TOP de Make It Real☆8Updated 3 years ago
- Terasology's "splash site" hosted as a GitHub Page. On the page you can download Terasology, view related videos, go to the forum, etc.☆15Updated 2 years ago
- This is a repository on low level programming (C) endorsed by ALX☆6Updated 2 years ago
- A cheat menu GUI for blooket.☆7Updated 2 years ago
- Brand header theme component for Discourse☆30Updated last month
- EmojiBops is a listing of songs depicted through emojis.☆66Updated 3 years ago
- Quickly host a webpage allowing people to click and receive an invite to your Github Organization.☆105Updated 2 years ago
- ☆5Updated 2 years ago
- Documentation for HS Hackers☆31Updated 9 years ago