Alternatives and similar repositories for flow-solver

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

• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 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
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 3 years ago
• serprex / Befunge
  lang befunge 93 fast
  ☆20Updated last year
• rocq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆14Updated last year
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆20Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated this week
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆12Updated 7 months ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆43Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 weeks ago
• ThePoetCoder / APL-to-NumPy
  Converting APL Primitives to NumPy Expressions
  ☆27Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• triska / simsttab
  Simple timetabling engine for schools
  ☆28Updated 11 months ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆9Updated last year
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated 5 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• DigitalTwinMind / ActiveInferenceLacan
  An active inference model of Lacanian psychoanalysis
  ☆10Updated 3 weeks ago
• jamesma100 / randomart
  random art generator
  ☆24Updated last month
• Ludeme / LudiiPythonAI
  Example repo for running Python-based AIs in Ludii
  ☆12Updated 3 years ago
• NUS-Math-Formalization / coxeter
  ☆12Updated 11 months ago
• jayfoad / aoc2020apl
  Advent of Code 2020 solutions in Dyalog APL
  ☆23Updated 4 years ago
• abrudz / dyalog_vision
  A realistic future development for the core language of Dyalog APL
  ☆11Updated last month
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year