Alternatives and similar repositories for ULAM

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

• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆91Updated 4 months ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 3 years ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 6 months ago
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 3 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• wolfgangj / okami
  okami is an application development platform
  ☆38Updated last month
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 8 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last month
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 5 months ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 3 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years 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
• darius / cant
  A programming argot
  ☆58Updated last year
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆38Updated 13 years ago
• webyrd / probKanren
  Probabilistic miniKanren
  ☆65Updated 9 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated last week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆171Updated 3 weeks ago
• ccrraaiigg / context
  the Context distribution of the Smalltalk programming language :: live discussion at https://squeak.slack.com
  ☆38Updated last year
• sparist / Om
  The Om programming language.
  ☆174Updated 11 months ago
• eriktmueller / daydreamer
  DAYDREAMER goal-based agent
  ☆78Updated 3 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 5 years ago
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated 2 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• amarty66 / lambdaway
  The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…
  ☆29Updated 4 years ago