Alternatives and similar repositories for flo

Users that are interested in flo are comparing it to the libraries listed below

• iig-uni-freiburg / WOLFGANG
  Petri Net Editor
  ☆26Updated 7 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆149Updated 7 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆155Updated 2 months ago
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆152Updated 8 months ago
• shamansir / noodle
  Visual programming UI and framework driven by pure functional language and data streams
  ☆60Updated last week
• dimitar-asenov / Envision
  A next-generation IDE that makes programming more efficient
  ☆99Updated 3 years ago
• prathyvsh / Visual-Math-Tools
  Catalog of Visual Math Tools
  ☆100Updated 3 years ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆25Updated this week
• metaborg / spoofax
  Spoofax runtime
  ☆149Updated 5 months ago
• after12am / eisenscript
  A programming language designed for generating awesome structures.
  ☆48Updated 2 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆30Updated 2 years ago
• KodyJKing / circlify
  Recreate an image with circle packing.
  ☆25Updated 3 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 2 months ago
• entangled / entangled
  bi-directional tangle daemon for literate programming
  ☆93Updated 2 years ago
• leftaroundabout / dumb-cas
  A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.
  ☆17Updated last year
• mkeeter / ao-guile-repl
  Standalone minimal REPL + viewer for ao-guile [DEPRECATED]
  ☆15Updated 7 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• Euterpea / Euterpea2-Examples
  Small code examples demonstrating the use of Euterpea2 and HSoM
  ☆31Updated 5 years ago
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆281Updated 2 years ago
• elkiwy / gisp
  A Graphic oriented Lisp-like interpreter to generate SVG and PNG images, written in C.
  ☆21Updated 4 years ago
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆71Updated last week
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆168Updated 13 years ago
• zalo / Symplex
  A Symbolic Code Algebra+Calculus system for VS Code
  ☆31Updated 3 years ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆93Updated 7 months ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• cursorless-dev / vscode-parse-tree
  Syntax trees for VSCode using tree-sitter
  ☆50Updated 3 weeks ago
• lunarcast / lunarbox
  Visual functional programming language
  ☆23Updated last year
• Chaddai / CurveProject
  Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)
  ☆20Updated 8 years ago