Alternatives and similar repositories for flow-solver

Users that are interested in flow-solver are comparing it to the libraries listed below

• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 3 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
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• otherjoel / tabloid
  📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!
  ☆93Updated 4 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆43Updated last year
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆22Updated 3 months ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• mndrix / regex
  Regular expressions for Prolog
  ☆17Updated 7 years ago
• DigitalTwinMind / ActiveInferenceLacan
  An active inference model of Lacanian psychoanalysis
  ☆10Updated 11 months ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated 3 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• prologbyexample / code
  ☆29Updated 2 years ago
• lacker / godel
  Helper scripts for understanding Gödel's Incompleteness Theorem
  ☆13Updated 3 years ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated 2 years ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• davidADSP / chess-trap-scorer
  A Python codebase for scoring trappy chess openings
  ☆52Updated 3 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• disconcision / furl
  in-progress 🚧 explosional 💥 editor
  ☆21Updated 3 years ago
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• lechmazur / ChessCounter
  Estimate the number of legal chess positions
  ☆12Updated 4 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 2 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆18Updated 3 months ago