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
  ☆87Updated 3 weeks ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆88Updated last year
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• soachishti / moss.py
  Python client for Moss: A System for Detecting Software Similarity
  ☆408Updated last year
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Updated 2 years ago
• Courseography / courseography
  Courseography is a tool created by David Liu and Ian Stewart-Binks to guide students through their undergraduate careers.
  ☆67Updated last week
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆204Updated 3 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆413Updated this week
• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆58Updated 5 years ago
• MarkUsProject / Markus
  Git repository of MarkUs
  ☆270Updated this week
• wadefagen / datasets
  Various interesting datasets, mostly data from The University of Illinois
  ☆189Updated 2 weeks 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.
  ☆301Updated last year
• Areustle / CMSC351SP2016FLN
  University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package
  ☆75Updated 7 years ago
• PrairieLearn / PrairieLearn
  Online problem-driven learning system
  ☆414Updated this week
• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆88Updated 9 months ago
• ryandougherty / Introduction-to-the-Theory-of-Computation-Solutions
  Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
  ☆361Updated 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
  ☆50Updated last year
• Madgrades / madgrades.com
  Frontend for visualizing UW Madison course grade distributions.
  ☆56Updated 5 months ago
• autolab / Autolab
  Course management service that enables auto-graded programming assignments.
  ☆796Updated this week
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆915Updated 8 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆53Updated 3 years ago
• illinois / queue
  A microservice queue for holding open office hours
  ☆86Updated 6 months ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆41Updated last year
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆736Updated this week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆479Updated 2 weeks ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• COMP1511UNSW / dcc
  dcc - a C compiler which explains errors to novice programmers
  ☆169Updated 11 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• uclapi / uclapi
  An API for University College London, created for and by students!
  ☆48Updated last month
• asuc-octo / berkeleytime
  UC Berkeley enrollment info
  ☆69Updated this week