Alternatives and similar repositories for betterinformatics

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

• 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
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆92Updated 3 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 3 months ago
• cpeikert / TheoryOfCryptography
  Lecture notes for Chris Peikert's graduate-level Theory of Cryptography course
  ☆172Updated last year
• LeifAndersen / PLGradSchools
  ☆233Updated 11 months ago
• MarkUsProject / Markus
  Git repository of MarkUs
  ☆267Updated this week
• soachishti / moss.py
  Python client for Moss: A System for Detecting Software Similarity
  ☆404Updated last year
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆405Updated 2 years ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆79Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆393Updated last 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…
  ☆38Updated 4 years ago
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆16Updated 2 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆102Updated 5 months ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆95Updated last year
• ccz181078 / Coq-BB5
  ☆314Updated 3 months ago
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• 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…
  ☆119Updated last year
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆405Updated this week
• 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
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆197Updated 8 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• vEnhance / von
  Olympiad problem database
  ☆49Updated last month
• morriswmz / phd-game
  A random event driven text-based game engine.
  ☆241Updated 10 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆290Updated this week
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last month
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated last month