Alternatives and similar repositories for Imperial-Computing-Year-2-Notes:

Users that are interested in Imperial-Computing-Year-2-Notes are comparing it to the libraries listed below

• 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
• jordanspooner / haskell-tests
  My past paper solutions for the Haskell final test at Imperial College London
  ☆7Updated 7 years ago
• lin-e / imperial-revision
  ☆17Updated 3 years ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆192Updated this week
• jordanspooner / ic-second-year-notes
  Notes for second year Computing at Imperial College London
  ☆16Updated 5 years ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• j-mie6 / gigaparsec
  Refreshed parsec-style library for compatibility with Scala parsley
  ☆16Updated last month
• jessicalally / hello-world
  ☆9Updated 5 years ago
• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 4 years ago
• leanprover-community / lean4-metaprogramming-book
  ☆237Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆296Updated last year
• tangboxuan / college
  Study notes
  ☆16Updated 10 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆240Updated this week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆304Updated this week
• LeifAndersen / PLGradSchools
  ☆227Updated 7 months ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆365Updated this week
• ethanrange / safe-pattern-generation
  Type-safe statically unknown pattern generation in MetaOCaml
  ☆11Updated 9 months ago
• coq / platform
  Multi platform setup for Coq, Coq libraries and tools
  ☆193Updated last month
• Gadjib / ocamlhomeworks
  Repository for homeworks.
  ☆10Updated 3 years ago
• mbovel / presentation-template
  ☆9Updated 8 months ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆160Updated this week
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆168Updated this week
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆33Updated 2 years ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆126Updated this week
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated this week
• logsem / iris-tutorial
  ☆42Updated 3 months ago
• madkous / math490
  An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC
  ☆20Updated 2 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆149Updated 2 weeks ago