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