Alternatives and similar repositories for Manufactoria

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated this week
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 6 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆374Updated 2 months ago
• corewar / corewar
  Typescript implementation of red code parser and core simulator for the classic game Corewar
  ☆45Updated 2 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• m-ender / labyrinth
  A two-dimensional programming language.
  ☆54Updated 9 years ago
• Timwi / EsotericIDE
  IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…
  ☆170Updated 11 months ago
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 8 years ago
• histocrat / hello_world
  ☆40Updated 9 years ago
• DJMcMayhem / Brain-Flak
  A minimalist esolang
  ☆85Updated 7 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• PleasingFungus / Silicon-Zeroes
  Issue repository for Silicon Zeroes. (Contains no actual code.)
  ☆12Updated last year
• primo-ppcg / BF-Crunch
  ☆11Updated 3 years ago
• thefifthmatt / windmill-client
  Build and play puzzles based on the puzzle logic of The Witness
  ☆97Updated 6 years ago
• jloughry / BANCStar
  BANCStar source code
  ☆168Updated 10 years ago
• thejoshwolfe / snakefall
  snakebird clone
  ☆34Updated 4 years ago
• byorgey / series-formelles
  Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…
  ☆29Updated 9 months ago
• superpermutators / superperm
  ☆127Updated last year
• kk4ead / tis-100
  An (eventually) comprehensive spoiler for TIS-100
  ☆81Updated 3 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated 3 months ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 7 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 8 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• ridiculousfish / wavefiz
  GL Wavefunction Visualizer
  ☆46Updated 6 months ago