Alternatives and similar repositories for Rel:

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

• hydromatic / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆304Updated 2 months ago
• david-pfx / Andl
  Andl is A New Database Language
  ☆75Updated 8 years ago
• aliceml / aliceml
  A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
  ☆213Updated 2 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 7 months ago
• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆285Updated this week
• dataphor / Dataphor
  Dataphor Federated Database Management System
  ☆68Updated last year
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆266Updated 4 months ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆89Updated 5 years ago
• danlm / QNial7
  The NIAL language environment
  ☆111Updated last year
• witheve / eve-native
  ☆187Updated 5 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆75Updated 14 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated last year
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated this week
• alephyud / bel
  A mirror of Paul Graham's Bel source code and documentation, formatted
  ☆49Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆114Updated last year
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆392Updated 2 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆100Updated 3 years ago
• Tablam / TablaM
  The practical relational programing language for data-oriented applications
  ☆196Updated 2 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆77Updated 6 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 11 months ago
• smabie / xs
  concatenative array language inspired by kdb/+q
  ☆90Updated 3 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆294Updated 3 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆97Updated 9 months ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆164Updated 12 years ago
• jamii / imp
  Various experiments in relational programming
  ☆271Updated 2 years ago
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆435Updated this week
• eatonphil / ponyo
  Library and Toolkit for Standard ML
  ☆145Updated 2 years ago
• miniKanren / miniKanren
  Canonical miniKanren implementation
  ☆354Updated 6 years ago
• didoudiaz / gprolog
  GNU Prolog
  ☆112Updated last year