DaveAckley / MFM

Related projects ⓘ

Alternatives and complementary repositories for MFM

• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 3 weeks ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆50Updated 3 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 2 weeks ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆134Updated 2 weeks ago
• DaveAckley / T2-12
  Support repository for the T2-12 tile
  ☆42Updated 5 months ago
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆134Updated 2 years ago
• GollyGang / ruletablerepository
  Previously at https://code.google.com/p/ruletablerepository
  ☆96Updated 6 months ago
• elliotwaite / rule-30-and-game-of-life
  Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.
  ☆163Updated 9 months ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆64Updated 6 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• TodePond / SandPond
  3D cellular automata
  ☆182Updated 9 months ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆88Updated 2 years ago
• mtwoodard / hypVR-Ray
  Hyperbolic VR using Raymarching
  ☆102Updated 5 years ago
• jeffheaton / mergelife
  Evolve complex cellular automata with a genetic algorithm.
  ☆75Updated 5 months ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 3 years ago
• timhutton / squirm3
  Artificial chemistry
  ☆20Updated 6 years ago
• InfiniteSearchSpace / Automata-Totalistic-Gen-4
  A slimmed-down, Totalistic-only version of my CA generator
  ☆29Updated 9 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• tranma / falling-turnip
  falling sand game with regular parallel arrays.
  ☆69Updated 11 years ago
• hawksley / hypVR
  Hyperbolic VR
  ☆152Updated 6 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆23Updated this week
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 6 months ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• polyworld / polyworld
  An Artificial Life system designed as an approach to Artificial Intelligence
  ☆181Updated 3 years ago
• marceloprates / Turmites
  An interactive tool Written in Processing to draw and generate Turmites (Turing Machines on 2D tapes).
  ☆26Updated 7 years ago
• Slackermanz / VulkanAutomata
  Cellular Automata GPU Renderer using the Vulkan API
  ☆363Updated last year
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• gglouser / cut-and-project-tiling
  Cut-and-project tiling generator.
  ☆62Updated last year
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 6 years ago