Alternatives and similar repositories for stupid-computer

Users that are interested in stupid-computer are comparing it to the libraries listed below

• compsoc-edinburgh / betterinformatics
  Welcome to Better Informatics. The student run website for students in the School of Informatics.
  ☆72Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆248Updated last month
• ccz181078 / Coq-BB5
  ☆302Updated last month
• nomeata / incredible
  The Incredible Proof Machine
  ☆374Updated 2 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆671Updated 3 weeks ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆903Updated 8 years ago
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆382Updated this week
• vsee / uoe_programmingclub
  University of Edinburgh Programming Club
  ☆56Updated 4 years ago
• DennisMitchell / jellylanguage
  Jelly is a recreational programming language inspired by J.
  ☆889Updated 4 years ago
• rymaju / FundiesCollab
  Collaborative Real-Time Coding in Java using the Fundies 2 Tester and Image libraries.
  ☆9Updated 4 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆588Updated 5 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆456Updated 4 years ago
• Scarlehh / Discrete_Math_Notes
  First Semester Discrete Mathematics lectures typed in LaTeX in note form for Second Year Trinity College students.
  ☆32Updated 7 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆346Updated 7 months ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated last year
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆520Updated 3 months ago
• jeroenheijmans / advent-of-code-charts
  Inject charts in your private leaderboard page for Advent of Code
  ☆137Updated 5 months ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• LeifAndersen / PLGradSchools
  ☆232Updated 9 months ago
• equadon / intellij-mips
  MIPS assembly language plugin for IntelliJ
  ☆10Updated 8 years ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆685Updated 11 months 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.
  ☆298Updated last year
• langjam / langjam
  ☆1,010Updated 2 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆219Updated 2 weeks ago
• TomWildenhain / pptcc
  ☆472Updated 3 years ago
• jez / latex-homework-class
  A class for homework assignments written in LaTeX.
  ☆152Updated 4 years ago
• GleasSpty / MATH-104-----Introduction-to-Analysis
  ☆23Updated 7 years ago
• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 3 years ago
• AdrianDoM / path-test
  Inf2D Assignment 1 Pathfinding algorithms testing framework
  ☆7Updated 6 years ago