uclaacm / uclaacm-rustlingsLinks
Learning Rust in 6 weeks with ACM @ UCLA!
☆10Updated 3 years ago
Alternatives and similar repositories for uclaacm-rustlings
Users that are interested in uclaacm-rustlings are comparing it to the libraries listed below
Sorting:
- 👋 get to know me through my personal website!☆10Updated 3 weeks ago
- a look into matt wang's intriguing monetary ventures☆10Updated 4 years ago
- LL1 by Team , made with☆11Updated 2 years ago
- Interactive Coq Proofs in Vim☆300Updated 3 weeks ago
- Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…☆109Updated 2 years ago
- 🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!☆24Updated 9 months ago
- vegetal☆257Updated last year
- A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…☆96Updated 4 years ago
- A LaTeX Typesetting Game☆255Updated 5 months ago
- The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.☆12Updated 3 weeks ago
- Neovim support for the Lean theorem prover☆392Updated last week
- GPA++ course stats search engine☆13Updated last year
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆32Updated 3 months ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- A class-picking website for MIT students.☆36Updated 7 months ago
- Marmoset Improved! Better UI and functionality☆40Updated last year
- Dice Language Support for VS Code☆10Updated 4 years ago
- Course selection made easy☆19Updated last year
- Review problems for COMP 302☆18Updated last year
- Visual Studio Code extension for Coq☆406Updated 3 weeks ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year
- 💜 A webring for Software Engineering students at the University of Waterloo.☆24Updated last week
- Olympiad GeoGuessr☆17Updated 5 months ago
- real time multiplayer quizbowl☆95Updated last year
- ☆14Updated 2 years ago
- Neovim client for coq-lsp☆27Updated 10 months ago
- Online problem-driven learning system☆404Updated this week
- Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…☆38Updated 4 years ago
- doing the same thing over and over and expecting the same results☆41Updated 4 years ago
- A compilation of blogs by Waterloo students and alumni☆66Updated 5 years ago