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 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!β17Updated 5 months ago
- A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitieβ¦β95Updated 4 years ago
- Neovim client for coq-lspβ26Updated 7 months ago
- Interactive Coq Proofs in Vimβ292Updated 2 months ago
- π± The frontend for Teach LA's online IDE, designed to teach kids how to code!β23Updated 7 months ago
- Dice Language Support for VS Codeβ10Updated 4 years ago
- A class-picking website for MIT students.β35Updated 4 months ago
- A complete collection of my undergraduate notesβ34Updated 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
- A LaTeX Typesetting Gameβ249Updated 2 months ago
- β233Updated 10 months ago
- hackschool (fall 2020)β21Updated 4 years ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coqβ170Updated last week
- notes, code, and videos for a crash-course in front-end web dev - no experience req'd!β31Updated 2 years ago
- Bazel rules for Project Eulerβ17Updated 4 years ago
- Marmoset Improved! Better UI and functionalityβ40Updated last year
- A 4-year academic planner for the MIT community.β23Updated 4 months ago
- Coq code formatterβ23Updated 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β¦β108Updated 2 years ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.β107Updated 10 months ago
- Olympiad problem databaseβ49Updated last week
- Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sigβ¦β20Updated last week
- agda-mode for neovimβ158Updated 3 weeks ago
- The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.β11Updated last week
- π Celebrate after submittint your college applicationsβ21Updated 3 years ago
- β¨οΈ A modern TUI typing game featuring online racing against friends.β93Updated 3 years ago
- Gavel with improved UI/UX and features. Forked and modified from github.com/anishathalye/gavelβ18Updated 8 months ago