Alternatives and similar repositories for flow

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

• HnimNart / deeplearning
  ☆53Updated 4 months ago
• damelang / gezira
  ☆167Updated 12 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 13 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• jxe / ceml
  a language for coordinating real-world interaction
  ☆36Updated 14 years ago
• robsimmons / sketchzone
  Quality-of-life for fiddly little JS apps that modify user-generated text
  ☆19Updated 11 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆78Updated 2 years ago
• cdglabs / sketchpad14
  Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…
  ☆93Updated last year
• bollu / diffgeo
  A formalization of synthetic differential geometry in Coq using infinitesimal analysis
  ☆11Updated 4 years ago
• gritzko / swift
  the multiparty transport protocol (aka "TCP with swarming" or "BitTorrent at the transport layer")
  ☆60Updated 14 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• backtrace-labs / stuffed-record-stream
  Backtrace.io's resilient log record framing format
  ☆40Updated 3 years ago
• witheve / eve-native
  ☆189Updated 6 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆52Updated 2 years ago
• jrmuizel / pyunum
  Python port of the Mathematica unum prototype from "The End of Error"
  ☆52Updated 9 years ago
• ceu-lang / ceu-arduino
  Arduino binding for Céu
  ☆33Updated 6 years ago
• caminadab / metamine
  A new declarative programming language
  ☆24Updated 5 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• hugomg / hexiom
  SAT-based solver for the Hexiom logic puzzle
  ☆33Updated 13 years ago
• fanf2 / hg64
  a 64-bit histogram / quantile sketch
  ☆59Updated 11 months ago
• alexwarth / ometa-js
  OMeta for JavaScript
  ☆367Updated 12 years ago
• jamii / imp
  Various experiments in relational programming
  ☆273Updated 3 years ago
• harc / nl-datalog
  Natural Language Datalog
  ☆135Updated 8 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• harp-lab / gdlog
  ☆87Updated last year
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 8 years ago
• cucapra / braid
  a multi-stage heterogeneous programming language applied to real-time 3D graphics
  ☆26Updated 6 years ago