tonyg / syndicateLinks
syn·di·cate: a language for interactive programs
☆159Updated 4 months ago
Alternatives and similar repositories for syndicate
Users that are interested in syndicate are comparing it to the libraries listed below
Sorting:
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 3 years ago
- ☆73Updated 10 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆212Updated 2 years ago
- Shen on javascript.☆70Updated 6 years ago
- General Parser Combinators in Racket☆194Updated 8 years ago
- ☆58Updated 8 years ago
- Algebraic structures for untyped Racket☆77Updated 11 months ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆51Updated 6 years ago
- An in-memory datalog implementation for OCaml.☆270Updated 8 months ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- ProjecturEd is a generic purpose projectional editor.☆142Updated 2 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Wasm tooling in Racket.☆43Updated 2 years ago
- Constraint programming language embedded in Racket☆153Updated 3 years ago
- Shen experimental libraries☆148Updated 6 years ago
- The Om programming language.☆173Updated 8 months ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- Kanren with databases☆43Updated 11 months ago
- Shen/Scheme implementation☆115Updated last month
- A Racket package for creating and composing pure functional lenses☆77Updated 5 years ago
- A Verilog dialect supercharged by the Racket meta-fairies.☆56Updated 6 years ago
- ☆48Updated last month
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆190Updated 4 years ago
- the Art of the Propagator☆51Updated 12 years ago
- miniKanren in the browser☆55Updated 9 years ago
- Cell compiler☆114Updated 2 years ago
- ☆71Updated 4 months ago
- Support for code-reloading for long-running racket programs (such as web-servers).☆62Updated 2 years ago