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:
- Biblioteca virtual do CALICO☆51Updated 7 years ago
- Find out if you are a Real Dev ™☆50Updated 8 years ago
- Solutions for UBC PHIL220A distance-ed online assignments; PR's welcome!☆12Updated 11 years ago
- Uma lista revisada de recursos práticos e acadêmicos para estudantes de Ciência da Computação.☆108Updated 8 years ago
- The easiest way to add links in your table rows, cells or elements that are not anchors!☆25Updated 6 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
- 🧩Simple repository of React hooks for building UI components☆20Updated 2 years ago
- Online platform that connects people interested in blood donation☆87Updated last year
- Slides and scripts from Data in Bahia meetups☆13Updated 2 years ago
- Uma coleção de incríveis recursos para as provas da POSCOMP.☆157Updated 2 weeks ago
- A Neural Network experiment involving a JavaScript game.☆33Updated 6 years ago
- ☆32Updated 8 years ago
- A complete daily plan for studying to become a Google software engineer.☆25Updated 7 years ago
- ☆20Updated 6 years ago
- (Work in progress) React documentation website in Portuguese (Portugal) 🇵🇹☆24Updated 2 years ago
- This bot can help you invest in memes and make a fortune out of it!☆135Updated 5 years ago
- Find open source issues to work on! (domain update)☆260Updated 4 years ago
- This is a bot for r/PewdiepieSubmissions. Moderate harmful submissions by applying OCR on graphical content☆25Updated 6 years ago
- "code" demonstrating PowerPoint Fractals☆38Updated 6 years ago
- ☆17Updated 4 years ago
- A Sails bundle to easily deliver web apps! [UNMAINTENED AND DEPRECATED]☆18Updated 7 years ago
- Embed Github profile every where you want☆67Updated 4 years ago
- EmojiBops is a listing of songs depicted through emojis.☆66Updated 3 years ago
- Repositório para testes de envio de pull requests☆25Updated last year
- A collection of free books from Springer☆74Updated 5 years ago
- URI Online Judge | Solutions☆49Updated last year
- Another project, this time a platformer on engineless c++☆52Updated 5 years ago
- Walltime CLI - Command Line Interface☆13Updated last year
- A Turing Machine simulator written in JavaScript.☆23Updated 7 years ago
- Pokemon GO - World Map☆17Updated 8 years ago