Alternatives and similar repositories for imperial-revision:

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

• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆40Updated last year
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆73Updated 11 months ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated last year
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆51Updated 3 years ago
• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 4 years ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• jessicalally / hello-world
  ☆9Updated 5 years ago
• jordanspooner / ic-second-year-notes
  Notes for second year Computing at Imperial College London
  ☆16Updated 5 years ago
• jordanspooner / haskell-tests
  My past paper solutions for the Haskell final test at Imperial College London
  ☆7Updated 7 years ago
• gowen100 / Jane-Street-Solutions
  Solutions to the Jane St monthly puzzles
  ☆264Updated 4 months ago
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 3 years ago
• ashwinahuja / Cambridge-Computer-Science-Tripos-Notes
  Personal Notes for Computer Science Tripos at University of Cambridge (2017-2020)
  ☆42Updated 4 years ago
• janestreet / base
  Standard library for OCaml
  ☆888Updated 3 months ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆365Updated this week
• LeifAndersen / PLGradSchools
  ☆227Updated 7 months ago
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆16Updated last month
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆55Updated 3 weeks ago
• janestreet / core
  Jane Street Capital's standard library overlay
  ☆1,137Updated 3 months ago
• ethanrange / safe-pattern-generation
  Type-safe statically unknown pattern generation in MetaOCaml
  ☆11Updated 9 months ago
• tangboxuan / college
  Study notes
  ☆16Updated 10 months ago
• coq / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆193Updated last month
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆283Updated last week
• logsem / iris-tutorial
  ☆42Updated 3 months ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆91Updated 6 years ago
• akabe / ocaml-jupyter
  An OCaml kernel for Jupyter (IPython) notebook
  ☆294Updated last year
• quantprep / quantnewgrad2022
  ☆434Updated 3 years ago
• QinxiangCao / UnifySL
  ☆24Updated 5 years ago
• quantprep / quantinternships2022
  ☆377Updated 2 years ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆33Updated 2 years ago
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆550Updated 2 months ago