Alternatives and similar repositories for reggie

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

• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆52Updated 2 years ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆94Updated 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.
  ☆303Updated last year
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆713Updated 8 months ago
• ccz181078 / Coq-BB5
  ☆351Updated 3 months ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• charlielidbury / ochre
  A systems theorem prover
  ☆12Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆427Updated 3 weeks ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 10 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆534Updated 7 months ago
• andrewo3 / One-Line-Flappy-Bird
  fun challenge
  ☆24Updated 4 years ago
• TomWildenhain / pptcc
  ☆479Updated 4 years ago
• matthewcn56 / how-many-bobas-could-matt-have-bought-with-the-money-he-spent-on-domains
  a look into matt wang's intriguing monetary ventures
  ☆10Updated 4 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆264Updated last year
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆54Updated 3 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆320Updated 7 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆313Updated last year
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆206Updated 5 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆308Updated 2 weeks ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆374Updated 5 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆398Updated last year
• raceconditionrunning / raceconditionrunning.github.io
  Race Condition Running
  ☆11Updated last week
• math-comp / math-comp
  Mathematical Components
  ☆663Updated last week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,479Updated last week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• diprism / perpl
  The PERPL Compiler
  ☆14Updated 2 months ago