Alternatives and similar repositories for uclaacm-rustlings

Users that are interested in uclaacm-rustlings are comparing it to the libraries listed below

• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 3 years ago
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated 5 months ago
• matthewcn56 / how-many-bobas-could-matt-have-bought-with-the-money-he-spent-on-domains
  a look into matt wang's intriguing monetary ventures
  ☆10Updated 4 years ago
• hotseatio / hotseat.io
  The code for Hotseat!
  ☆17Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆262Updated 9 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆311Updated last month
• ccz181078 / Coq-BB5
  ☆355Updated 4 months ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated last week
• open-source-at-illinois / cherry
  Course selection made easy
  ☆19Updated 2 years ago
• CourtneyThurston / personal-finance-memes-for-tech-teens
  A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…
  ☆95Updated 4 years ago
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆25Updated last year
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆30Updated 3 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆463Updated this week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆428Updated last month
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• rudi-c / the-waterloo-blogger
  A compilation of blogs by Waterloo students and alumni
  ☆65Updated 5 years ago
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆75Updated 8 years ago
• curtischong / complete
  The VSCode extension that accelerates dev time by 1,000,000,000%
  ☆11Updated 3 years ago
• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 5 years ago
• abrandenberger / course-notes
  Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…
  ☆39Updated 4 years ago
• tomtomjhj / vsrocq.nvim
  A Neovim client for VsCoq 2 vscoqtop.
  ☆11Updated 2 months ago
• chin123 / gpa
  GPA++ course stats search engine
  ☆13Updated 2 years ago
• chezbgone / chez-sty
  ☆14Updated 2 years ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆41Updated last year
• edfan / firehose
  A class-picking website for MIT students.
  ☆36Updated last year
• jbman223 / EarlyAP
  Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…
  ☆109Updated 3 years ago
• illinois / queue
  A microservice queue for holding open office hours
  ☆86Updated 9 months ago
• vEnhance / otis-web
  OTIS course management system
  ☆44Updated last week
• uclaacm / learning-lab-crash-course-su20
  notes, code, and videos for a crash-course in front-end web dev - no experience req'd!
  ☆31Updated 3 years ago
• CourtneyThurston / negotiating-major-swe-offers
  Negotiating software engineering offers. Advice will be most helpful for new grad students targeting major computer science companies, bu…
  ☆179Updated 4 years ago