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 last month
- 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!β16Updated 8 months ago
- Interactive Coq Proofs in Vimβ301Updated last month
- Visual Studio Code extension for Coqβ408Updated last week
- A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitieβ¦β96Updated 4 years ago
- A class-picking website for MIT students.β36Updated 8 months ago
- Neovim support for the Lean theorem proverβ402Updated this week
- A tool for understanding UCSD CAPE data.β26Updated 2 years ago
- Neovim client for coq-lspβ27Updated 10 months 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
- β337Updated this week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.β299Updated last year
- 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!β24Updated 10 months ago
- The Vellvm (Verified LLVM) coq development.β441Updated last week
- Dashboard for managing puzzles and tracking status during a puzzle huntβ32Updated 4 months ago
- Course selection made easyβ19Updated last year
- Dice Language Support for VS Codeβ10Updated 4 years ago
- Marmoset Improved! Better UI and functionalityβ41Updated last year
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coqβ187Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]β528Updated 3 months ago
- A microservice queue for holding open office hoursβ86Updated 4 months ago
- Official website of ACM Hack.β11Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.β656Updated 3 months ago
- A document language for the browserβ706Updated last year
- notes, code, and videos for a crash-course in front-end web dev - no experience req'd!β31Updated 3 years ago
- Discord bot to fetch UIUC classes.β18Updated last year
- NUS Hackers websiteβ46Updated last week