tonyg / syndicate
syn·di·cate: a language for interactive programs
☆153Updated last week
Alternatives and similar repositories for syndicate:
Users that are interested in syndicate are comparing it to the libraries listed below
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 2 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆209Updated last year
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 5 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆212Updated 2 years ago
- Algebraic structures for untyped Racket☆76Updated 6 months ago
- ☆62Updated 3 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- A less devious proof assistant☆222Updated last year
- A collection of core libraries for Racket☆85Updated this week
- The Ntha Programming Language☆93Updated 8 years ago
- nanopass compiler framework for Racket☆184Updated 11 months ago
- Implementations of µKanren in assorted languages☆61Updated 8 years ago
- ☆73Updated 10 years ago
- Shen on javascript.☆69Updated 6 years ago
- General Parser Combinators in Racket☆196Updated 8 years ago
- Cell compiler☆115Updated last year
- Support for code-reloading for long-running racket programs (such as web-servers).☆62Updated 2 years ago
- A Racket package for creating and composing pure functional lenses☆75Updated 5 years ago
- ☆136Updated 2 years ago
- ☆57Updated 7 years ago
- The many experiments that have led to Eve in its current form☆65Updated 5 years ago
- Studio is an interactive software diagnostics environment☆120Updated 4 years ago
- staged relational interpreters: running with holes, faster☆126Updated 2 months ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆271Updated 11 years ago
- An in-memory datalog implementation for OCaml.☆264Updated 3 months ago
- An implementation of Hindley-Milner in Clojure.☆167Updated 10 years ago
- Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.☆237Updated 2 years ago
- The Om programming language.☆171Updated 3 months ago