Alternatives and similar repositories for flow-solver

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 4 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆134Updated this week
• software-tools-books / stjs
  Software Tools in JavaScript
  ☆29Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆20Updated last week
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• cmakler / kgjs
  Javascript Renderer for KineticGraphs
  ☆46Updated last month
• featurecat / Influencie
  A fun way to visualize influence in the game of Go.
  ☆22Updated 6 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• kavon / yaml-ast
  visualize an AST serialized as YAML
  ☆13Updated 2 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆157Updated 3 months ago
• Lehnart / alife
  A project to share on artificial life(Alife in short). It is essentially cellular automata but you could find also L-systems, swarm intel…
  ☆32Updated 2 years ago
• xcsp3team / cosoco
  COmpact SOlver for COnstrained problems
  ☆12Updated this week
• ThePoetCoder / APL-to-NumPy
  Converting APL Primitives to NumPy Expressions
  ☆27Updated last year
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆227Updated 2 months ago
• canadaduane / mindspace
  Brainstorming and mind mapping with a simple, beautiful UX
  ☆20Updated 3 months ago
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated last month
• stanleyseow / js
  Javascripts
  ☆11Updated last month
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆18Updated 5 years ago
• jitwit / aoc
  advent of code
  ☆20Updated 9 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 11 months ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆12Updated 2 years ago
• DigitalTwinMind / ActiveInferenceLacan
  An active inference model of Lacanian psychoanalysis
  ☆13Updated 4 months ago
• jayfoad / aoc2020apl
  Advent of Code 2020 solutions in Dyalog APL
  ☆23Updated 4 years ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆27Updated 6 months ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆27Updated last year
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago