Alternatives and similar repositories for uclaacm-rustlings:

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

• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated last year
• 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 3 years ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆278Updated 3 weeks 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 3 years ago
• uclaacm / learning-lab-crash-course-su20
  notes, code, and videos for a crash-course in front-end web dev - no experience req'd!
  ☆31Updated 2 years ago
• uclaacm / TeachLAFrontend
  🌱 The frontend for Teach LA's online IDE, designed to teach kids how to code!
  ☆22Updated 2 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆310Updated this week
• kylechui / latex
  Notes and Stuff
  ☆15Updated 2 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆356Updated this week
• dcao / seascape
  A tool for understanding UCSD CAPE data.
  ☆26Updated last year
• blerner / bottlenose
  CS assignment / grade mangement system
  ☆4Updated 4 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated last week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆156Updated this week
• LeifAndersen / PLGradSchools
  ☆226Updated 6 months ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated 11 months ago
• curtischong / complete
  The VSCode extension that accelerates dev time by 1,000,000,000%
  ☆11Updated 2 years ago
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆115Updated last month
• mattxwang / robotics-club-website
  The UCC Robotics Website
  ☆9Updated 8 years ago
• UCSD-Historical-Enrollment-Data / webreg_scraper
  A scraper and API for WebReg, UCSD's course enrollment system.
  ☆11Updated 2 months ago
• ninest / commonapp-celebrate
  🎉 Celebrate after submittint your college applications
  ☆21Updated 3 years ago
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆411Updated this week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆295Updated 10 months ago
• ccz181078 / Coq-BB5
  ☆170Updated last month
• tomtomjhj / coq-lsp.nvim
  Neovim client for coq-lsp
  ☆24Updated 3 months ago
• ocaml-ppx / ocamlformat
  Auto-formatter for OCaml code
  ☆647Updated 3 weeks ago
• sipb / courseroad2
  A 4-year academic planner for the MIT community.
  ☆23Updated this week
• hisbaan / uoft-notes
  All of the lecture notes that I digitized while at the University of Toronto
  ☆21Updated 3 years ago
• zvory / guide-to-coop
  How to succeed in the UWaterloo coop system
  ☆29Updated 4 months ago
• CodeGrade / bottlenose
  CS assignment / grade mangement system
  ☆42Updated 2 months ago