Alternatives and similar repositories for betterinformatics

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

• social-anthrax / IADS_algorithms
  A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
  ☆20Updated 3 years ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆205Updated 4 months ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆92Updated last year
• illinois / queue
  A microservice queue for holding open office hours
  ☆86Updated 7 months ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 2 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆417Updated this week
• clayton-halim / cs246e-notes
  Object oriented programming notes
  ☆80Updated 3 years ago
• PrairieLearn / PrairieLearn
  Online problem-driven learning system
  ☆415Updated this week
• genchang1234 / How-to-cheat-in-computer-science-101
  ☆313Updated 3 years ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• wadefagen / datasets
  Various interesting datasets, mostly data from The University of Illinois
  ☆191Updated 3 weeks ago
• julianlore / McGill-Resources
  Some class resources for classes I took/am taking at McGill as an undergraduate student.
  ☆59Updated 5 years ago
• MarkUsProject / Markus
  Git repository of MarkUs
  ☆274Updated this week
• nikel-api / nikel
  A collection of data APIs for the University of Toronto
  ☆32Updated 2 years ago
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,117Updated last year
• neldredge / mathgen
  Generate random nonsense math papers
  ☆613Updated 5 years ago
• wo / tpg
  Tree Proof Generator
  ☆175Updated 9 months ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆98Updated 2 years ago
• atsixian / mcgill-course-map
  Discover McGill: a graph of interrelated courses at McGill
  ☆35Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆350Updated 2 months ago
• mzjp2 / step-resources
  This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
  ☆51Updated last year
• rudi-c / the-waterloo-blogger
  A compilation of blogs by Waterloo students and alumni
  ☆65Updated 5 years ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆445Updated last week
• morriswmz / phd-game
  A random event driven text-based game engine.
  ☆254Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• maoli131 / UCSD-CSE-ReviewDocs
  A comprehensive set of review docs we created for all CSE courses took in UCSD.
  ☆119Updated 3 years ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆107Updated last week
• hann013 / uw-ece-notes
  University of Waterloo ECE Course Notes
  ☆78Updated 6 years ago
• Trontor / lookahead
  A semester planner for students at The University of Melbourne.
  ☆29Updated 2 years ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆534Updated 6 months ago