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
Sorting:
- This repository contains all files and exercises done from chapter 1 to 6, including some exercises for other chapters☆17Updated last year
- Solutions for the book "Language Proof and Logic".☆75Updated 8 months ago
- Solutions for UBC PHIL220A distance-ed online assignments; PR's welcome!☆12Updated 11 years ago
- Codebase for the term project of CS202, 2022 Winter☆3Updated 3 years ago
- Implementação da interface web da plataforma IntegraTI☆8Updated 7 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
- No Light - one of the many fun mini-events we run.☆33Updated last week
- Easy Accept is a tool to easly describe acceptance tests as text files☆8Updated 4 years ago
- Script to collect the results of extension or filename searches on GitHub.☆23Updated 5 years ago
- Main course repository for CPSC 507.☆13Updated 5 months ago
- MARIE.js is a simple, yet intuitive MARIE simulator built in JavaScript and is used for teaching computing architecture and assembly lan…☆151Updated 2 weeks ago
- ML algorithms implemented from scratch and provided block by block☆12Updated 5 years ago
- [wip] Cristofori is a digital piano created to help everyone who wants to practice or play with no need to buy a super expensive instrume…☆9Updated 4 years ago
- All Google indexed articles and files related to Habbo or Sulake. Feel free to contribute.☆11Updated 4 years ago
- Monitoramento do cumprimento da Lei nº 9504/97 "cada partido ou coligação deve preencher, nas eleições proporcionais, o mínimo de 30% e o…☆16Updated 2 years ago
- A Node.js CLI to show FIFA World Cup 2018 results in real time.☆16Updated 6 years ago
- YAMS: Awesome MIPS Server☆19Updated 7 years ago
- Dichotomy Tests provides interesting tests that show you how inclined you are toward certain philosophical, psychological or political vi…☆93Updated 3 years ago
- A Modern CompSci Curriculum☆301Updated 10 months ago
- React custom hooks for uploading files to a s3 bucket with progress showing abilities☆22Updated 5 years ago
- The open source Habbo.com Engine & CMS☆51Updated 7 years ago
- Resources for Software Engineering Education☆17Updated last year
- Original Hacker Wars bot (Hacker Experience legacy)☆11Updated 3 years ago
- A series of CI/CD using Drone, Terraform, Docker and Kubernetes scripts to deploy a Fivem server on-demand.☆28Updated 2 years ago
- Biblioteca virtual do CALICO☆49Updated 7 years ago
- 🧑⚖️ Em nome da LAI! Gerador de petições com base na LAI.☆14Updated 4 years ago
- Simple containerized FiveM server running on Alpine Linux☆11Updated 5 years ago
- React hook to leverage Credential Management API☆10Updated last year
- Conteúdo sobre machine learning aplicado ao controle social. Artigos sobre: ML, estatística, ética, dentre outros.☆20Updated 5 years ago
- Replaces all images on all pages to Nicolas Cage.☆83Updated 6 years ago