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:
- ☆32Updated 8 years ago
- Solutions for UBC PHIL220A distance-ed online assignments; PR's welcome!☆12Updated 11 years ago
- ☆17Updated 4 years ago
- Uma lista revisada de recursos práticos e acadêmicos para estudantes de Ciência da Computação.☆108Updated 8 years ago
- Main course repository for CPSC 507.☆13Updated this week
- Biblioteca virtual do CALICO☆50Updated 7 years ago
- ☆450Updated 2 years ago
- Main website and API.☆25Updated 6 years ago
- Find out if you are a Real Dev ™☆50Updated 8 years ago
- An attempt to organize and update the old course progression tree used by compsci students of UFSC.☆13Updated last year
- ☆20Updated 6 years ago
- ☆27Updated 8 years ago
- A modern programming contest system for on-site competitions powered by NodeJS. Designed to be beautiful but functional.☆28Updated 6 years ago
- GameBoyAdvance & NintendoDS development classes' source codes.☆12Updated 7 years ago
- dogr☆108Updated 8 years ago
- A list of public APIs from Portuguese entities☆102Updated 4 years ago
- make ubc prereq trees☆21Updated 2 years ago
- Personal spare-time project to build a NYC Restaurants web search using the restaurants dataset example from MongoDB.☆12Updated 3 years ago
- EmojiBops is a listing of songs depicted through emojis.☆66Updated 3 years ago
- 🧩Simple repository of React hooks for building UI components☆20Updated 2 years ago
- Gerador de stickers de mensagens do Telegram☆17Updated 3 months ago
- Site e Blog do Grupo de usuários C & C++ do Brasil☆47Updated 2 years ago
- Another project, this time a platformer on engineless c++☆52Updated 5 years ago
- Turns a Keyboard into a Trackpad☆164Updated 6 years ago
- TCP/IP for Casio fx-9860 graphical calculators (with SLIP support, uIP stack)☆229Updated 3 years ago
- Gender Classification of Twitter Data Based on Textual Meta-Attributes Extraction☆11Updated 7 years ago
- A Turing Machine simulator written in JavaScript.☆23Updated 7 years ago
- Notas de aula das matéria de Fundamentos de Sistemas Computacionais da Universidade de BrasÃlia, dada pela Profa. Alba☆14Updated 7 years ago
- Um pouco sobre o kernel linux☆108Updated 3 years ago
- Meetups realizados periodicamente pela comunidade do DevFSA☆15Updated 6 years ago