compsoc-edinburgh / betterinformatics

Related projects ⓘ

Alternatives and complementary repositories for betterinformatics

• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆56Updated 4 years ago
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 3 years ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆566Updated 4 years ago
• atsixian / mcgill-course-map
  Discover McGill: a graph of interrelated courses at McGill
  ☆35Updated last year
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆503Updated 3 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆234Updated 2 years ago
• LeifAndersen / PLGradSchools
  ☆223Updated 3 months ago
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 2 years ago
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated last year
• npaun / minervaclient
  A CLI client for Minerva course registration
  ☆13Updated 5 years ago
• gradescope / autograder_samples
  Examples of autograders for running on Gradescope
  ☆82Updated 3 months ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆891Updated 7 years ago
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆344Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆243Updated this week
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated last year
• ccz181078 / Coq-BB5
  ☆158Updated last week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆292Updated 8 months ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆384Updated last year
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆809Updated last year
• ryandougherty / Introduction-to-the-Theory-of-Computation-Solutions
  Solutions to Michael Sipser's Introduction to the Theory of Computation Book (3rd Edition).
  ☆350Updated 3 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆272Updated 4 months ago
• atsixian / my-exams
  One-click final schedule for McGill students
  ☆22Updated 2 years ago
• versatran01 / itoc
  Introduction to the Theory of Computation
  ☆11Updated 7 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆330Updated last month
• illinois / queue
  A microservice queue for holding open office hours
  ☆82Updated 11 months ago
• morriswmz / phd-game
  A random event driven text-based game engine.
  ☆187Updated 3 months ago
• wu-qing-157 / Anonymous
  ☆9Updated 3 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆207Updated this week
• jez / latex-hw-template
  LaTeX template useful for formatting homework assignments
  ☆16Updated 9 years ago