Alternatives and similar repositories for betterinformatics

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

• mzjp2 / step-resources
  This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
  ☆52Updated last year
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆206Updated 4 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆260Updated 8 months ago
• soachishti / moss.py
  Python client for Moss: A System for Detecting Software Similarity
  ☆409Updated last year
• neldredge / mathgen
  Generate random nonsense math papers
  ☆612Updated 5 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆916Updated 8 years ago
• jonathanolson / wordle-solver
  Investigating the problem of solving wordle in the most efficient way possible
  ☆51Updated 2 years ago
• jdavis / latex-homework-template
  🎓📄 The LaTeX file that I used as the base for all my homework in university.
  ☆1,198Updated 2 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆424Updated last week
• kratos4ever / CS-180
  UCLA CS 180
  ☆93Updated 12 years ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆93Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 2 years ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆286Updated 4 years ago
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• wu-qing-157 / Anonymous
  ☆11Updated 5 years ago
• jez / latex-hw-template
  LaTeX template useful for formatting homework assignments
  ☆20Updated 10 years ago
• HuangJingGitHub / Solution-to-Linear-Algebra-Done-Wrong
  Selected solutions to the book Linear Algebra Done Wrong.
  ☆60Updated 10 months ago
• social-anthrax / IADS_algorithms
  A collection of algorithms and datastructures introduced during UoE's Introduction to Datastructures and Algorithms class.
  ☆20Updated 3 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆767Updated this week
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆99Updated this week
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆54Updated 3 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆62Updated this week
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated 2 months ago
• jez / latex-homework-class
  A class for homework assignments written in LaTeX.
  ☆157Updated 4 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆177Updated 2 weeks ago
• ccz181078 / Coq-BB5
  ☆350Updated 3 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆535Updated 6 months ago
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆834Updated 2 years ago