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).
  ☆354Updated 3 years ago
• LeifAndersen / PLGradSchools
  ☆231Updated 8 months ago
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆377Updated this week
• jez / latex-homework-class
  A class for homework assignments written in LaTeX.
  ☆152Updated 4 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 3 weeks ago
• BUGS-NYU / schedge
  API for NYU's course catalog
  ☆55Updated last year
• jstrieb / homework-template
  Typeset assignments and problem sets using LaTeX; typographically optimized for online submission
  ☆37Updated 4 years ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆92Updated last year
• MatthewHepburn / FSM-Workbench
  Create and simulate finite state machines in your browser. Includes interactive exercises.
  ☆9Updated 7 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆186Updated last month
• CarsonHoffman / office-hours-queue
  ☆12Updated last year
• morriswmz / phd-game
  A random event driven text-based game engine.
  ☆221Updated 8 months ago
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 5 years ago
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆36Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆401Updated last year
• katmh / point-theme
  🎯 Point: a Jekyll theme for personal websites that are simple and to the point (based on a previous version of katmh.com)
  ☆19Updated 8 months ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• Courseography / courseography
  Courseography is a tool created by David Liu and Ian Stewart-Binks to guide students through their undergraduate careers.
  ☆62Updated this week
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆88Updated 2 weeks ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆252Updated last year
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆518Updated 2 months ago
• tducvu / LectureNotes
  My typed-up math lecture notes
  ☆15Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆44Updated this week
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆61Updated last year
• CSStipendRankings / CSStipendRankings
  https://csstipendrankings.org
  ☆207Updated last week
• mosharaf / eecs489
  EECS 489: Computer Networks @ the University of Michigan
  ☆255Updated last week
• ScottyLabs / course-api
  The new version of the Scheduling API, now with prerequisites, course descriptions, and more!
  ☆21Updated 4 years ago
• mzjp2 / step-resources
  This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
  ☆46Updated 10 months ago
• proglang / FunctionalProgramming
  Support repository for the functional programming lecture (Haskell)
  ☆16Updated 2 months ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆41Updated last year