compsoc-edinburgh / betterinformatics

Related projects ⓘ

Alternatives and complementary repositories for betterinformatics

• 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
  ☆222Updated 3 months ago
• BNFC / bnfc
  BNF Converter
  ☆587Updated this 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
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆342Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆241Updated 6 months ago
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,252Updated this week
• jez / latex-hw-template
  LaTeX template useful for formatting homework assignments
  ☆16Updated 9 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆228Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆385Updated last year
• coq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆499Updated 2 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆429Updated this week
• eecs-autograder / autograder.io
  Central documentation and issue tracker for autograder.io
  ☆62Updated 3 weeks ago
• AdrianDoM / path-test
  Inf2D Assignment 1 Pathfinding algorithms testing framework
  ☆7Updated 5 years ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆752Updated 9 months ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆83Updated 9 months ago
• mterwill / office-hours-help-queue
  A queue to help manage office hours for large courses
  ☆86Updated last year
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆349Updated last week
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆246Updated 3 years ago
• hyperschedule / hyperschedule
  🌮 Webapp for scheduling Claremont Colleges courses quickly.
  ☆55Updated last week
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 10 months ago
• fstqwq / Nemesis
  XCPC Standard Code Library
  ☆41Updated last month
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆98Updated last year
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆491Updated last month
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆288Updated last year
• snario / course_notes
  Course notes for the University of Waterloo
  ☆28Updated 5 years ago