tonyg / syndicateLinks
syn·di·cate: a language for interactive programs
☆157Updated 2 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
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆214Updated 2 years ago
- Algebraic structures for untyped Racket☆77Updated 10 months ago
- ☆137Updated 2 years ago
- A less devious proof assistant☆224Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆269Updated 7 months ago
- The Om programming language.☆172Updated 7 months ago
- Kenichi Asai's reflective programming language Black☆196Updated 3 years ago
- ☆71Updated 2 months ago
- A collection of core libraries for Racket☆86Updated 4 months ago
- A Racket package for creating and composing pure functional lenses☆76Updated 5 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆132Updated last month
- ☆58Updated 8 years ago
- ProjecturEd is a generic purpose projectional editor.☆142Updated 2 years ago
- nanopass compiler framework for Racket☆189Updated last year
- Implementations of µKanren in assorted languages☆63Updated 9 years ago
- Urlang is JavaScript with a sane syntax☆301Updated 4 months ago
- Support for code-reloading for long-running racket programs (such as web-servers).☆62Updated 2 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Shen on javascript.☆69Updated 6 years ago
- Shen/Scheme implementation☆116Updated 2 weeks ago
- Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.☆211Updated 2 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 7 months ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 12 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated 3 years ago
- ☆73Updated 10 years ago
- General Parser Combinators in Racket☆194Updated 8 years ago
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- ☆46Updated 2 weeks ago