Alternatives and similar repositories for dynamo

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

• NetLogo / Tortoise
  Compiler and runtime engine for NetLogo models that runs in JavaScript 🐢
  ☆55Updated this week
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last month
• KendrickOrg / kendrick
  Domain-Specific Modeling for Epidemiology
  ☆50Updated last week
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• stuartpb / shrdlu
  Terry Winograd's SHRDLU
  ☆40Updated 14 years ago
• yuxi-liu-wired / cyc-archive
  An archive of material related to the Cyc project.
  ☆22Updated last month
• SWI-Prolog-Education / talespin-annie
  Annie's version of talespin
  ☆12Updated 6 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆43Updated this week
• mynenik / kForth-32
  32-bit Forth System for x86-linux
  ☆22Updated 2 weeks ago
• uho / docker-forth
  Docker images for popular Forth systems
  ☆29Updated last year
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆15Updated 3 years ago
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆11Updated 6 years ago
• SDXorg / SD-Tools
  List of open source system dynamic tools
  ☆26Updated 2 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆74Updated this week
• rupertl / mts-languages
  A tour of the programming languages available on the Michigan Terminal System in 1988
  ☆12Updated 5 years ago
• bburns / Lantern
  Exploring the original Zork source code with Graphviz and an interactive d3 map, using JavaScript and an extension of Peter Norvig's Pyth…
  ☆39Updated 6 years ago
• khinsen / GT-Zotero
  Zotero client for the Glamorous Toolkit
  ☆12Updated 2 years ago
• moosetechnology / Famix
  An abstract representation of source code. Famix is generic and can describe applications in multiple programming languages.
  ☆14Updated this week
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆59Updated 7 years ago
• ForthHub / ForthFreak
  ForthFreak wiki
  ☆120Updated 9 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 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
• mcmenaminadrian / riscyforth
  Forth for RISC-V SBCs
  ☆32Updated 5 months ago
• flagxor / rainbowforth
  ☆40Updated last year
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 8 years ago
• logicmoo / CYC_JRTL_with_CommonLisp
  Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)
  ☆16Updated 2 years ago
• terminusdb / terminusdb-tutorials
  Tutorials for using TerminusDB
  ☆58Updated 2 years ago
• seveno4 / EURISKO
  ☆56Updated last year
• ian-andrich / PythonPengines
  A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
  ☆12Updated 4 years ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 3 years ago