Alternatives and similar repositories for flow-solver:

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

• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆22Updated 2 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 3 years ago
• lacker / godel
  Helper scripts for understanding Gödel's Incompleteness Theorem
  ☆13Updated 3 years ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• jamesma100 / randomart
  random art generator for cryptographic keys
  ☆23Updated 2 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆34Updated 3 years ago
• adam-mcdaniel / markdown-to-html
  A Markdown to HTML compiler written in Haskell.
  ☆16Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• michael1241 / wcc_analysis
  ☆39Updated last year
• dmishin / js-revca
  Reversible cellular automata simulator in HTML5 + Java Script.
  ☆32Updated 7 years ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 6 years ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago
• disconcision / furl
  in-progress 🚧 explosional 💥 editor
  ☆20Updated 3 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated last year
• Ludeme / LudiiAI
  Repo with code for Ludii's built-in AIs.
  ☆21Updated 2 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated last year
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 10 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• dgtized / shimmers
  A Sketchbook of Generative Art
  ☆23Updated last week
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year