flowlang / flowLinks
The Flow programming language
☆27Updated this week
Alternatives and similar repositories for flow
Users that are interested in flow are comparing it to the libraries listed below
Sorting:
- ☆53Updated 5 months ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- ☆167Updated 12 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆29Updated 8 years ago
- A new declarative programming language☆24Updated 5 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆20Updated last year
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- SAT-based solver for the Hexiom logic puzzle☆34Updated 13 years ago
- This is a library for "Overveld-style" constraint relaxation.☆69Updated 2 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- a language for coordinating real-world interaction☆36Updated 14 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆94Updated last year
- Rescuing the SOUL great logic meta programming language☆12Updated 7 years ago
- ☆83Updated 10 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆107Updated 11 months ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 4 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆24Updated 9 years ago
- Editor for language composition☆58Updated 3 years ago
- ☆46Updated 2 years ago
- Finite domain constraint programming library in JS☆62Updated 4 years ago
- A system for creating fast, reusable parsers☆172Updated 10 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- the multiparty transport protocol (aka "TCP with swarming" or "BitTorrent at the transport layer")☆60Updated 14 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆52Updated 2 years ago
- An iPad app that's a Lisp interpretter... written in Haskell (heh heh heh)☆87Updated 14 years ago
- Noether programming language☆130Updated 8 years ago
- Cell language C++ runtime☆18Updated 5 years ago