Alternatives and similar repositories for betterinformatics

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

• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 9 months ago
• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆59Updated 5 years ago
• jdavis / latex-homework-template
  🎓📄 The LaTeX file that I used as the base for all my homework in university.
  ☆1,199Updated 2 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
• mzjp2 / step-resources
  This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
  ☆53Updated last year
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆199Updated this week
• neldredge / mathgen
  Generate random nonsense math papers
  ☆614Updated 5 years ago
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆177Updated this week
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆287Updated 4 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆428Updated last month
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆917Updated 9 years 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
• gt-scheduler / website
  Scheduling application designed to mitigate some of the pain-points present throughout Georgia Tech's registration process.
  ☆111Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆787Updated this week
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆94Updated last year
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆62Updated last week
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆469Updated last week
• wmboyles / Math-Summaries
  Medium length summaries of math subjects like multivariable calculus. Longer than a formula sheet, shorter than a textbook.
  ☆81Updated 3 years ago
• jez / latex-homework-class
  A class for homework assignments written in LaTeX.
  ☆157Updated 4 years ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆206Updated 5 months ago
• hjalti / mossum
  Moss summarizer
  ☆194Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆352Updated 3 months ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆536Updated last year
• wadefagen / datasets
  Various interesting datasets, mostly data from The University of Illinois
  ☆191Updated 3 weeks ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆379Updated this week
• asuc-octo / berkeleytime
  UC Berkeley enrollment info
  ☆72Updated this week
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated 3 months ago
• jonathanolson / wordle-solver
  Investigating the problem of solving wordle in the most efficient way possible
  ☆50Updated 2 years ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated 2 weeks ago
• wo / tpg
  Tree Proof Generator
  ☆177Updated 10 months ago