Alternatives and similar repositories for betterinformatics

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

• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated 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.
  ☆296Updated last year
• Courseography / courseography
  Courseography is a tool created by David Liu and Ian Stewart-Binks to guide students through their undergraduate careers.
  ☆64Updated this week
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆90Updated last month
• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆56Updated 4 years ago
• algorithms-are-fun / amoffat-fan-page
  Alistair Moffat fan page
  ☆16Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆249Updated 2 months ago
• SimplicialCat / topos
  notes on topos theory (Chinese)
  ☆12Updated 6 months ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆156Updated last year
• ryandougherty / Introduction-to-the-Theory-of-Computation-Solutions
  Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
  ☆357Updated 3 years ago
• CourtneyThurston / personal-finance-memes-for-tech-teens
  A walkthrough of personal-finance issues for young people with tech careers, complete with clearly-marked referral promotion opportunitie…
  ☆95Updated 4 years ago
• illinois-cs241 / illinois-cs241.github.io
  CS 341 course website
  ☆30Updated 2 weeks ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆62Updated this week
• abrandenberger / course-notes
  Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…
  ☆37Updated 4 years ago
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆317Updated this week
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 4 years ago
• eprover / eprover
  ☆142Updated this week
• neldredge / mathgen
  Generate random nonsense math papers
  ☆590Updated 5 years ago
• social-anthrax / IADS_algorithms
  A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
  ☆22Updated 3 years ago
• rudi-c / the-waterloo-blogger
  A compilation of blogs by Waterloo students and alumni
  ☆64Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆221Updated last month
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• rocq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆90Updated this week
• martinlackner / abcvoting
  Python implementations of approval-based committee (multi-winner) voting rules
  ☆36Updated last week
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• mactonya / algebra-chapter-0-solutions
  The solution to Algebra : Chapter 0 by Paolo Aluffi.
  ☆30Updated last year
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆120Updated last year