Alternatives and similar repositories for CocoaJoin:

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

• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 5 years ago
• rm-hull / wam
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆27Updated 6 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 3 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆65Updated 5 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 7 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 9 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 3 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• tca / veneer
  miniKanren in the browser
  ☆56Updated 8 years ago
• racket / datalog
  ☆45Updated 2 months ago
• polytypic / JoinCML
  ☆15Updated 9 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆11Updated 9 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆23Updated 9 years ago
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 9 years ago
• tpetricek / histogram
  Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…
  ☆20Updated 2 years ago
• palladin / logic
  A logic programming library for F#
  ☆46Updated 9 years ago
• cdglabs / cbmjslib
  A JavaScript implementation of the "Call by Meaning" programming model for automated semantic discovery and data adaption as described in…
  ☆23Updated 9 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 5 years ago
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆16Updated 4 years ago
• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆11Updated 7 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 8 years ago
• mmottl / aifad
  AIFAD - Automated Induction of Functions over Algebraic Data Types
  ☆30Updated last week
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 7 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 4 months ago