carlosantq / LPLLinks
📚Solutions to Language, Proof and Logic (2nd Edition)
☆21Updated 5 years ago
Alternatives and similar repositories for LPL
Users that are interested in LPL are comparing it to the libraries listed below
Sorting:
- 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.☆110Updated 8 years ago
- make ubc prereq trees☆21Updated 3 years ago
- Find out if you are a Real Dev ™☆49Updated 9 years ago
- ☆13Updated 6 years ago
- EmojiBops is a listing of songs depicted through emojis.☆66Updated 4 years ago
- Wanna gain points in codewars, own all the katas with this method☆58Updated 8 years ago
- Dashboard com dados de vacinação em PT. Feito com React e NextJS☆19Updated 3 years ago
- Here I share the code of my CV, which is also a bootable bootloader :)☆524Updated 3 months ago
- This bot can help you invest in memes and make a fortune out of it!☆135Updated 6 years ago
- JavaScript Algorithm Visualization library☆115Updated 4 years ago
- Play Music via the Command Line☆22Updated 7 years ago
- ☆479Updated 4 years ago
- Math is fun so let's make some scripts and or programs that use some of your favorite math formulas and functions.☆126Updated 2 years ago
- A language where the code is written with folders☆385Updated 4 years ago
- A networked multiplayer game inspired by the card game Set®☆35Updated 9 years ago
- ☆32Updated 8 years ago
- Recreate the BigBang with JavaScript☆49Updated 6 years ago
- The base classes that are used by Metafid (a private piece of software that generates web bot code from Fiddler archives)☆39Updated 12 years ago
- No Light - one of the many fun mini-events we run.☆33Updated 9 months ago
- El lenguaje de programación más boludo del mundo.☆50Updated 5 years ago
- A curated list of articles, talks, tutorials to help you on your way to be the so called Full Stack Python Dev.☆73Updated 8 years ago
- This is a bot for r/PewdiepieSubmissions. Moderate harmful submissions by applying OCR on graphical content☆25Updated 6 years ago
- 🦸♀️🎬 Quote Thanos like it's a bible verse!☆73Updated 2 years ago
- A Verilog synthesis flow for Minecraft redstone circuits☆1,523Updated 5 years ago
- Transparent data about Brazilian scientific production in Computer Science☆38Updated last month
- Pokemon GO - World Map☆17Updated 8 years ago
- 🎺 Fake data generator for JavaScript, courtesy of Patrick Star☆70Updated last year
- ☆20Updated 6 years ago
- Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans☆22Updated 7 years ago