Alternatives and similar repositories for cs310:

Users that are interested in cs310 are comparing it to the libraries listed below

• Department-of-Administrative-Affairs / DM-CS-2-answers
  ☆23Updated last year
• CSRG-Group / dcs-notes.github.io
  Unofficial notes for modules offered in the first year of Computer Science by the University of Warwick
  ☆28Updated last year
• stew675 / standup5x5
  Solutions to Stand Up Maths 5x5 Unique 25 letter problem
  ☆122Updated 2 years ago
• thaqibm / uwnotes
  Notes
  ☆8Updated 5 months ago
• Jumaruba / LPL-solutions
  Solutions for the book "Language Proof and Logic".
  ☆75Updated 7 months ago
• opendataConcordiaU / documentation
  Documentation and examples on the use of Concordia University open data API
  ☆39Updated last year
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 10 months ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated 2 years ago
• UQComputingSociety / uqcsbot-discord
  UQCSbot: Our friendly little Discord bot
  ☆20Updated this week
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆483Updated 8 months ago
• lin-e / imperial-revision
  ☆17Updated 3 years ago
• Funky-Punky / FPV_SS22_Repetitorium
  ☆19Updated last year
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆399Updated last week
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆75Updated last year
• howard36 / probase
  An online math contest platform
  ☆19Updated last month
• just-max / exzellenz
  An especially excellent font.
  ☆13Updated 2 years ago
• howtoosee / 9597_H2_Computing
  Notes for GCE 'A' Levels 9597 H2 Computing
  ☆17Updated 4 years ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆322Updated 3 weeks ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆234Updated 3 months ago
• Tommimon / advent-of-code-2022
  Our solutions to Advent of Code problems
  ☆9Updated last year
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆312Updated this week
• danyal002 / cmd-stack
  ☆37Updated this week
• soraxas / echo360
  Commandline tool for automated downloads of echo360 videos hosted by university
  ☆295Updated 3 months ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated last year
• druths / comp598-2021
  Resources for the 2021 offering of COMP 598
  ☆23Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated 2 months ago
• Python-Snacc / British-Informatics-Olympiad-Solutions
  Unofficial solutions to the BIO. Will check and fully comment the answers in time. Solution suggestions are welcome!
  ☆9Updated last year
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆50Updated 3 months ago
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated last week
• jin-guo / COMP303
  ☆48Updated 11 months ago