Alternatives and similar repositories for Manufactoria:

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

• silverhawke249 / nonlinearity
  Another custom level pack for Baba Is You.
  ☆23Updated 3 years ago
• QuestForTetris / Cogol
  "C of Game of Life" is a higher-level language for use with the Game of Life processor.
  ☆78Updated 5 years ago
• thejoshwolfe / snakefall
  snakebird clone
  ☆33Updated 4 years ago
• stepchowfun / cfg-checker
  Search for ambiguities in context-free grammars.
  ☆40Updated 4 years ago
• PleasingFungus / Silicon-Zeroes
  Issue repository for Silicon Zeroes. (Contains no actual code.)
  ☆12Updated last year
• roice3 / MagicTile
  Non-euclidean Rubik's Cube Analogues
  ☆88Updated 2 weeks ago
• catseye / Specs-on-Spec
  MIRROR of https://codeberg.org/catseye/Specs-on-Spec : A collection of language specifications which don't belong anywhere else
  ☆13Updated 9 years ago
• orlp / golf-cpu
  Reference implementation of the GOLF CPU.
  ☆17Updated 8 years ago
• gondur / cartlife_src
  Cartlife Source code
  ☆92Updated 4 years ago
• CaravelGames / drod
  The official public repository of Deadly Rooms of Death and DROD RPG
  ☆61Updated this week
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• Overv / TheWitnessSolver
  Solver for The Witness puzzles
  ☆76Updated 4 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• guillaumebrunerie / reversetreeenhancer
  User script for a better experince when using a reverse tree on Duolingo
  ☆13Updated 3 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆128Updated 6 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆374Updated last month
• Ataraxia-Mechanica / InfiniSweeper
  ☆30Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 9 months ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆110Updated 10 months ago
• DennisMitchell / sesos
  ☆14Updated 8 years ago
• lynn / GMSD
  GameMaker Studio decompiler in F#
  ☆56Updated 8 years ago
• hylyh / gameboy-glitch-shooter
  Bullets don't stop writing to memory when they leave the screen. I'm sure everything will be fine.
  ☆14Updated 7 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆182Updated 4 years ago
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 8 years ago
• oprypin / sixcells
  Level editor for Hexcells
  ☆72Updated 4 years ago
• thefifthmatt / windmill-client
  Build and play puzzles based on the puzzle logic of The Witness
  ☆97Updated 6 years ago
• m-ender / labyrinth
  A two-dimensional programming language.
  ☆54Updated 9 years ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆163Updated 2 years ago