uclaacm / uclaacm-rustlings
Learning Rust in 6 weeks with ACM @ UCLA!
☆10Updated 2 years ago
Alternatives and similar repositories for uclaacm-rustlings:
Users that are interested in uclaacm-rustlings are comparing it to the libraries listed below
- 👋 get to know me through my personal website!☆10Updated last year
- a look into matt wang's intriguing monetary ventures☆10Updated 3 years ago
- The code for Hotseat!☆17Updated 3 months ago
- LL1 by Team , made with☆11Updated 2 years ago
- Interactive Coq Proofs in Vim☆289Updated this week
- A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…☆95Updated 4 years ago
- ☆30Updated last year
- A LaTeX Typesetting Game☆245Updated 2 months ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆216Updated 2 years ago
- The Vellvm (Verified LLVM) coq development.☆422Updated last week
- notes, code, and videos for a crash-course in front-end web dev - no experience req'd!☆31Updated 2 years ago
- Neovim support for the Lean theorem prover☆338Updated this week
- Neovim client for coq-lsp☆26Updated 5 months ago
- 🎉 Celebrate after submittint your college applications☆21Updated 3 years ago
- ☆8Updated 4 months 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
- ☆229Updated 8 months ago
- Visual Studio Code Extension and Language Server Protocol for Coq☆166Updated this week
- Tree-sitter grammar for comment tags like TODO, FIXME(user).☆142Updated this week
- Notes and Stuff☆15Updated 2 years ago
- The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.☆11Updated 3 weeks ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated last month
- The main Illinois Women in Computer Science website.☆10Updated this week
- A simple CTF platform in a single binary☆11Updated 4 years ago
- A text-based quizbowl packet reader with support for both single- and multi-player.☆37Updated this week
- CS assignment / grade mangement system☆4Updated 6 months ago
- An interactive tool for experimenting with LR(1) grammars☆14Updated 3 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆515Updated last month
- A Neovim client for VsCoq 2 vscoqtop.☆10Updated last month
- A class-picking website for MIT students.☆35Updated 2 months ago