Alternatives and similar repositories for ULAM

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

• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 3 years ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆91Updated 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
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 3 months ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 3 weeks ago
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 8 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆22Updated 8 months ago
• AshleyF / brief
  Brief language
  ☆20Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆35Updated 3 months ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last week
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 3 months ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆37Updated 11 months ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• robertpfeiffer / cola
  combined object/lambda architcture
  ☆25Updated 16 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆161Updated last week
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 2 years ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆31Updated 11 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆23Updated 2 months ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago