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
• wolfgangj / okami
  okami is an application development platform
  ☆35Updated 8 months ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆88Updated 3 weeks ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 3 weeks ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆21Updated 2 years ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 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
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last week
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 3 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆22Updated 5 months ago
• chrisamaphone / sestina
  Tinkering with creating a functional programming language for procedural content generation.
  ☆18Updated 4 months ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆20Updated last week
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• tsoding / wacket
  Racket to WebAssembly "compiler".
  ☆32Updated 4 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆51Updated 8 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• saulpw / spwforth
  A clean implementation of Forth on 32-bit linux-x86
  ☆14Updated 4 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• guitarvydas / wam
  A WAM (Warren Abstract Machine for Prolog) written in Common Lisp
  ☆13Updated 6 years ago
• amyjko / citrus-barista
  A programming language and user interface toolkit for creating structured editors.
  ☆19Updated 6 months ago
• jeapostrophe / lux
  lux - a simple library for creating real-time graphical apps
  ☆30Updated 3 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 2 weeks ago
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆38Updated 7 years ago