Alternatives and similar repositories for stupid-computer:

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

• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 10 months ago
• compsoc-edinburgh / betterinformatics
  Welcome to Better Informatics. The student run website for students in the School of Informatics.
  ☆71Updated 3 weeks ago
• lollobaldo / Inf2D-cw1--autotester
  ☆24Updated 3 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆451Updated 3 years 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.
  ☆296Updated last year
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆668Updated this week
• harsilspatel / moodle-downloader
  a 4.9-star chrome extension for batch downloading moodle resources 💾
  ☆103Updated 3 years ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆577Updated 5 years ago
• jessicalally / hello-world
  ☆9Updated 5 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆898Updated 8 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated last week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated 2 months ago
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,814Updated this week
• Adriandmen / 05AB1E
  A concise stack-based golfing language
  ☆772Updated 4 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆370Updated 3 weeks ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,047Updated this week
• m-ender / hexagony
  A two-dimensional, hexagonal programming language.
  ☆567Updated 3 years ago
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated 2 years ago
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆55Updated last year
• sdiehl / wiwinwlh
  What I Wish I Knew When Learning Haskell
  ☆2,582Updated 3 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 3 years ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 4 years ago
• m-ender / retina
  A regex-based programming language.
  ☆232Updated last year
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• math-comp / math-comp
  Mathematical Components
  ☆608Updated this week
• TomWildenhain / pptcc
  ☆471Updated 3 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆284Updated 3 months ago
• jeroenheijmans / advent-of-code-charts
  Inject charts in your private leaderboard page for Advent of Code
  ☆136Updated 3 months ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,130Updated 3 weeks ago