Alternatives and similar repositories for topologic

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

• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated last week
• ridiculousfish / wavefiz
  GL Wavefunction Visualizer
  ☆48Updated last year
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆58Updated 7 years ago
• cgmb / euler
  An ASCII art fluid simulator
  ☆37Updated 5 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• dmishin / hyperbolic-ca-simulator
  Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.
  ☆39Updated 8 years ago
• c3d / tao3D
  The Art of 3D, a new language for dynamic document description of real-time 3D animations
  ☆175Updated 5 years ago
• GollyGang / ruletablerepository
  Previously at https://code.google.com/p/ruletablerepository
  ☆98Updated 6 months ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆28Updated last week
• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 9 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated 2 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 7 months ago
• mkeeter / Graphene
  Hierarchical computation graphs; details at
  ☆19Updated 9 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 7 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 8 years ago
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆30Updated 10 years ago
• fugalh / hearnet
  Hear your network
  ☆21Updated 16 years ago
• doy / runes
  a modern terminal client
  ☆37Updated 8 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆25Updated 7 months ago
• abagames / sarad
  write a program only by a simple click
  ☆49Updated 9 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• aheui / jsaheui
  Aheui interpreter in Javascript
  ☆22Updated 9 years ago
• fxn / math-with-regexps
  Math with regexps for fun
  ☆49Updated 4 years ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 8 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
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• humanistic / REN
  The REN human friendly data notation
  ☆53Updated 6 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated 3 months ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 11 years ago