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 2 years ago
- a look into matt wang's intriguing monetary ventures☆10Updated 3 years ago
- LL1 by Team , made with☆11Updated 2 years ago
- 🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!☆23Updated 8 months ago
- Interactive Coq Proofs in Vim☆295Updated last week
- A class-picking website for MIT students.☆36Updated 6 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
- GPA++ course stats search engine☆13Updated last year
- 🔷 React Front End for ACM UCSD's Membership Portal☆12Updated 5 months ago
- Course selection made easy☆19Updated last year
- Neovim support for the Lean theorem prover☆367Updated last week
- vegetal☆249Updated 11 months ago
- hackschool (fall 2020)☆21Updated 4 years ago
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆34Updated 2 months ago
- A microservice queue for holding open office hours☆86Updated 2 months ago
- Resources for the UQCS competitive programming group☆20Updated last year
- An open-source, fully-customizable hackathon registration system.☆31Updated last week
- CS61 lecture material☆98Updated 7 months ago
- The website for ACM@UIUC☆11Updated 3 weeks ago
- The Vellvm (Verified LLVM) coq development.☆437Updated this week
- Visual Studio Code extension for Coq☆393Updated this week
- 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
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆648Updated last month
- 🎉 Celebrate after submittint your college applications☆21Updated 3 years ago
- ☆7Updated last year
- Purdue in Minecraft☆46Updated 3 years ago
- A past down-to-the-metal cryptography challenge designed by Radical Semiconductor.☆20Updated last year
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆600Updated last month
- Gavel with improved UI/UX and features. Forked and modified from github.com/anishathalye/gavel☆18Updated 9 months ago
- A guide to prepare you for full time work in the US as a Canadian tech new grad☆101Updated 3 years ago