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 4 months ago
- a look into matt wang's intriguing monetary ventures☆10Updated 4 years ago
- LL1 by Team , made with☆11Updated 3 years ago
- The code for Hotseat!☆17Updated last year
- A LaTeX Typesetting Game☆261Updated 8 months ago
- Interactive Coq Proofs in Vim☆311Updated 2 weeks ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- 🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!☆25Updated last year
- Course selection made easy☆19Updated 2 years ago
- ☆350Updated 3 months ago
- Resources for the UQCS competitive programming group☆20Updated 3 months ago
- Neovim support for the Lean theorem prover☆450Updated this week
- Visual Studio Code extension for Coq☆424Updated 2 weeks ago
- Olympiad problem database☆54Updated 3 weeks ago
- Dice Language Support for VS Code☆10Updated 5 years ago
- Neovim client for coq-lsp☆30Updated 3 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆195Updated 3 weeks ago
- An autograder base Docker image for Gradescope with improved security☆18Updated 2 years ago
- A class-picking website for MIT students.☆36Updated 11 months ago
- GPA++ course stats search engine☆13Updated 2 years ago
- Kattis problem package format specification☆14Updated this week
- Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…☆109Updated 3 years ago
- 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…☆39Updated 4 years ago
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆75Updated 7 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆303Updated 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
- The Vellvm (Verified LLVM) coq development.☆450Updated last week
- ☆234Updated last year
- Discord bot to fetch UIUC classes.☆18Updated 2 years ago
- A document language for the browser☆707Updated last year