uclaacm / uclaacm-rustlings
Learning Rust in 6 weeks with ACM @ UCLA!
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for uclaacm-rustlings
- 👋 get to know me through my personal website!☆10Updated last year
- a look into matt wang's intriguing monetary ventures☆10Updated 3 years ago
- LL1 by Team , made with☆11Updated 2 years ago
- The code for Hotseat!☆16Updated 3 weeks ago
- A LaTeX Typesetting Game☆243Updated this week
- 🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!☆21Updated 2 weeks ago
- notes, code, and videos for a crash-course in front-end web dev - no experience req'd!☆31Updated 2 years ago
- Interactive Coq Proofs in Vim☆274Updated 2 months 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…☆37Updated 3 years ago
- A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…☆94Updated 3 years ago
- ☆223Updated 3 months ago
- Visual Studio Code extension for Coq☆344Updated this week
- Olympiad problem database☆44Updated 3 weeks ago
- Neovim support for the Lean theorem prover☆278Updated this week
- A class-picking website for MIT students.☆35Updated last year
- Neovim client for coq-lsp☆23Updated 3 weeks ago
- 🎉 Celebrate after submittint your college applications☆21Updated 3 years ago
- Visual Studio Code Extension and Language Server Protocol for Coq☆152Updated last week
- Marmoset Improved! Better UI and functionality☆39Updated 9 months ago
- 💜 A webring for Software Engineering students at the University of Waterloo.☆14Updated 3 weeks ago
- Coq code formatter☆21Updated this week
- Natural Number Game☆114Updated 2 weeks ago
- Physoly website and submission portal for online contests.☆9Updated 2 months ago
- ☆8Updated last week
- A complete collection of my undergraduate notes☆30Updated 2 years ago
- Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…☆110Updated last year
- Catalog Of Math Problems Formalized In Lean☆112Updated this week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆292Updated 8 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated this week
- A garden of small programming language implementations 🪴☆177Updated last week