Alternatives and similar repositories for betterinformatics

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

• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆255Updated 5 months ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆198Updated last month
• mzjp2 / step-resources
  This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
  ☆49Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆406Updated 3 weeks ago
• anishathalye / gavel
  A project expo judging system 📊
  ☆459Updated 2 weeks ago
• soachishti / moss.py
  Python client for Moss: A System for Detecting Software Similarity
  ☆406Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆299Updated last year
• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 3 years ago
• clayton-halim / cs246e-notes
  Object oriented programming notes
  ☆80Updated 2 years ago
• demetrios-koziris / McGillEnhanced
  Browser extension enhancing the functionality and navigability of McGill.ca
  ☆60Updated 8 months ago
• snario / course_notes
  Course notes for the University of Waterloo
  ☆30Updated 6 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆410Updated 2 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• MarkUsProject / Markus
  Git repository of MarkUs
  ☆268Updated this week
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• jdavis / latex-homework-template
  🎓📄 The LaTeX file that I used as the base for all my homework in university.
  ☆1,183Updated 2 years ago
• genchang1234 / How-to-cheat-in-computer-science-101
  ☆309Updated 3 years ago
• jez / latex-hw-template
  LaTeX template useful for formatting homework assignments
  ☆19Updated 10 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆356Updated 10 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆526Updated 3 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆833Updated 2 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 4 months ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆285Updated 3 years ago
• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆87Updated 7 months ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 6 months ago
• math-comp / math-comp
  Mathematical Components
  ☆641Updated this week
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,191Updated last month