Alternatives and similar repositories for betterinformatics:

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

• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆56Updated 4 years ago
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆226Updated 6 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated last week
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆248Updated 10 months ago
• AdrianDoM / path-test
  Inf2D Assignment 1 Pathfinding algorithms testing framework
  ☆7Updated 5 years ago
• uclaupe-tutoring / practice-problems
  ☆27Updated 7 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆356Updated this week
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆510Updated 5 months ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated 11 months ago
• SurviveUMJI / SurviveUMJIManual
  A manual for UM-SJTU JI students to survive better.
  ☆34Updated 2 years ago
• PrairieLearn / PrairieLearn
  Online problem-driven learning system
  ☆365Updated this week
• illinois / queue
  A microservice queue for holding open office hours
  ☆81Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆389Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆337Updated 3 months ago
• math-comp / math-comp
  Mathematical Components
  ☆597Updated this week
• ryandougherty / Introduction-to-the-Theory-of-Computation-Solutions
  Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
  ☆351Updated 3 years ago
• UCSD-Historical-Enrollment-Data / UCSDHistEnrollData
  Did someone say... scuffed UCSD historical enrollment data?
  ☆40Updated 2 months 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.
  ☆295Updated 10 months ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• himanshusagar / CS537-Discussion-F22
  ☆12Updated 2 years ago
• kpc-simone / cs480-f24
  course homepage for Introduction to Machine Learning
  ☆33Updated last month
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆52Updated 4 months ago
• 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 3 years ago
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated last year
• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆83Updated 2 weeks ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆273Updated 3 years ago
• rudi-c / the-waterloo-blogger
  A compilation of blogs by Waterloo students and alumni
  ☆63Updated 4 years ago
• bartbussmann / lesswrong_ebook_library
  LessWrong Ebook Library
  ☆30Updated last year
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆342Updated last week