Alternatives and similar repositories for imperial-revision

Users that are interested in imperial-revision are comparing it to the libraries listed below

• jordanspooner / ic-second-year-notes
  Notes for second year Computing at Imperial College London
  ☆16Updated 6 years ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated 2 years ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆96Updated last year
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆54Updated 3 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆53Updated 2 years ago
• Funky-Punky / FPV_SS22_Repetitorium
  ☆16Updated 2 years ago
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated 3 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆312Updated last month
• wadefagen / datasets
  Various interesting datasets, mostly data from The University of Illinois
  ☆192Updated last month
• wdhg / reggie
  run and encode simple register machine programs
  ☆15Updated 4 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆428Updated last month
• janestreet / base
  Standard library for OCaml
  ☆1,003Updated last week
• clayton-halim / cs246e-notes
  Object oriented programming notes
  ☆80Updated 3 years ago
• prmr / COMP303
  COMP303-Software Design at McGill University
  ☆89Updated last year
• nus-cs2030 / 2021-s1
  ☆27Updated 5 years ago
• timot3 / uiuc-classes-bot
  Discord bot to fetch UIUC classes.
  ☆18Updated 2 years ago
• janestreet / core
  Jane Street Capital's standard library overlay
  ☆1,200Updated last week
• janestreet / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆668Updated 3 years ago
• Bryce-3D / NUS-ModReg-Reports
  Repository to store NUS ModReg Vacancy Reports and Demand and Allocation reports for public access.
  ☆44Updated 5 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,487Updated this week
• nqyy / uiuc-course-god
  Automatically register courses for UIUC students (cheats)
  ☆19Updated last year
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• quantprep / quantinternships2022
  ☆375Updated 3 years ago
• awdeorio / dotfiles
  awdeorio's favorite dot files
  ☆102Updated last week
• quantprep / quantnewgrad2022
  ☆443Updated 3 years ago
• lunaflight / courserekt
  Simple interface to see the history of course demand and allocation
  ☆44Updated 2 weeks ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆463Updated last week
• nachonavarro / cis502-notes
  Notes for CIS502 Analysis of Algorithms
  ☆31Updated 5 years ago
• indocomsoft / fluminus
  A library in Elixir to access the reverse-engineered LumiNUS API
  ☆33Updated 4 years ago
• mzjp2 / step-resources
  This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
  ☆54Updated last year