Alternatives and similar repositories for MFM

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

• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 2 months ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 3 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆22Updated 3 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆159Updated last week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆135Updated 7 years ago
• DaveAckley / T2-12
  Support repository for the T2-12 tile
  ☆44Updated last year
• GollyGang / ruletablerepository
  Previously at https://code.google.com/p/ruletablerepository
  ☆98Updated last year
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• InfiniteSearchSpace / Automata-Totalistic-Gen-4
  A slimmed-down, Totalistic-only version of my CA generator
  ☆29Updated 10 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• supposedly / nutshell
  [alpha!] [dormant!] An advanced cellular-automaton-specification language that transpiles to Golly's.
  ☆17Updated 8 months ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago
• tranma / falling-sand-game
  Falling sand game in cellular automata style.
  ☆69Updated 11 years ago
• marceloprates / Turmites
  An interactive tool Written in Processing to draw and generate Turmites (Turing Machines on 2D tapes).
  ☆27Updated 7 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆140Updated 2 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• rudyrucker / capow
  Continuous valued cellular automata.
  ☆66Updated 8 years ago
• wizard23 / evocell
  A HTML5/WebGL demo to play around with ruletable based cellular automata! http://wizard23.github.io/evocell/cellspace.html
  ☆20Updated 3 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• Slackermanz / VulkanAutomata
  Cellular Automata GPU Renderer using the Vulkan API
  ☆375Updated 2 months ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated last year
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated last year
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆136Updated 2 years ago
• damelang / gezira
  ☆166Updated 12 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• timhutton / squirm3
  Artificial chemistry
  ☆21Updated 7 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago