Alternatives and similar repositories for syndicate

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

• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 6 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆198Updated 3 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆189Updated 4 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆273Updated last year
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆78Updated last year
• Shen-Language / wiki
  ☆74Updated 10 years ago
• epsil / gll
  General Parser Combinators in Racket
  ☆193Updated 9 years ago
• samrushing / irken-compiler
  Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
  ☆213Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆115Updated 2 years ago
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆64Updated 9 years ago
• mflatt / not-a-box
  ☆58Updated 8 years ago
• racket / datalog
  ☆48Updated 2 months ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 10 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• soegaard / urlang
  Urlang is JavaScript with a sane syntax
  ☆303Updated 10 months ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆192Updated last year
• darius / cant
  A programming argot
  ☆57Updated last year
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆36Updated 8 years ago
• dyoo / whalesong
  Whalesong: Racket to JavaScript compiler
  ☆252Updated 8 years ago
• tizoc / shen-scheme
  Shen/Scheme implementation
  ☆124Updated 5 months ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆154Updated 4 years ago
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆57Updated 6 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆70Updated 7 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆126Updated 5 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 6 years ago
• stchang / graph
  Generic graph library and algorithms for Racket.
  ☆59Updated last year
• stchang / macrotypes
  ☆137Updated 3 years ago
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆44Updated 2 years ago