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 4 years ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆95Updated 8 months ago
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 9 months ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆28Updated 3 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 7 months ago
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• Qqwy / Jux
  ☆14Updated 4 years ago
• AshleyF / brief
  Brief language
  ☆20Updated last year
• wolfgangj / okami
  okami is an application development platform
  ☆39Updated 5 months ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 8 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆195Updated 3 weeks ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 9 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆55Updated 3 weeks ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• paulfitz / cosmicos
  Sending the lambda calculus into deep space
  ☆151Updated 3 years ago
• darius / cant
  A programming argot
  ☆57Updated last year
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 17 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 9 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
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 6 years ago
• aardappel / aarded
  Implementation of the Aardappel programming language
  ☆31Updated 8 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 13 years ago
• nebogeo / scheme-bricks
  experimental visual programming in scheme for making rave music, uses fluxus
  ☆59Updated 6 years ago
• xieyuheng / joy
  backup of the joy programming language
  ☆31Updated 9 years ago
• sparist / Om
  The Om programming language.
  ☆174Updated last year
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 4 years ago
• ccrraaiigg / context
  the Context distribution of the Smalltalk programming language :: live discussion at https://squeak.slack.com
  ☆37Updated last year
• webyrd / probKanren
  Probabilistic miniKanren
  ☆67Updated 10 years ago