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 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 10 months ago
- Interactive Coq Proofs in Vim☆305Updated 2 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
- A class-picking website for MIT students.☆36Updated 10 months ago
- A LaTeX Typesetting Game☆258Updated 7 months ago
- ☆348Updated 2 months ago
- A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…☆96Updated 4 years ago
- Course selection made easy☆19Updated 2 years ago
- Physoly website and submission portal for online contests.☆10Updated 3 months ago
- OTIS course management system☆45Updated last week
- Visual Studio Code extension for Coq☆415Updated 2 weeks ago
- ☆14Updated 2 years ago
- A Rust crate for easy serving of OpenAI's API with rate limiting and token use tracking out of the box☆12Updated 4 years ago
- ☆25Updated 7 months ago
- Olympiad GeoGuessr☆18Updated 7 months ago
- A past down-to-the-metal cryptography challenge designed by Radical Semiconductor.☆21Updated last year
- Neovim support for the Lean theorem prover☆436Updated this week
- notes, code, and videos for a crash-course in front-end web dev - no experience req'd!☆31Updated 3 years ago
- Marmoset Improved! Better UI and functionality☆41Updated last year
- 2048, but the RNG is always against you☆10Updated 2 years ago
- Neovim client for coq-lsp☆28Updated last month
- A new (and hopefully improved) linter for Purdue's CS 240 course☆10Updated last month
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆301Updated last year
- GPA++ course stats search engine☆13Updated last year
- A document language for the browser☆705Updated last year
- A tool for understanding UCSD CAPE data.☆26Updated 2 years ago
- Review problems for COMP 302☆17Updated last year