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
  ☆36Updated 9 months ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆50Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last week
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆10Updated 7 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆41Updated this week
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆19Updated last year
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated last year
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆42Updated 7 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆19Updated last year
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆111Updated this week
• jayfoad / aoc2018apl
  Advent of Code 2018 solutions in Dyalog APL
  ☆22Updated 4 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆25Updated 6 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated 2 months ago
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 3 years ago
• npe9 / aop
  Art of Prolog Code
  ☆35Updated 5 years ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 2 years ago
• ThePoetCoder / APL-to-NumPy
  Converting APL Primitives to NumPy Expressions
  ☆26Updated 11 months ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆17Updated 2 weeks ago
• zamora / lightsaber
  Draw lightsabers using Racket's pict library
  ☆11Updated 5 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆17Updated last year
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆9Updated last year
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated last year
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆28Updated last week
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated last year
• Mbodin / CoqR
  A Coq formalisation of the R programming language
  ☆10Updated 2 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 2 weeks ago