Alternatives and similar repositories for relational

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

• rtoal / ple
  Programming Language Explorations
  ☆100Updated last week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 7 months ago
• jsoftware / jandroid
  J for Android
  ☆35Updated 2 months ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆98Updated 3 years ago
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆66Updated 8 years ago
• DaveVoorhis / Rel
  Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.
  ☆104Updated 4 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 4 months ago
• exercism / prolog
  Exercism exercises in Prolog.
  ☆31Updated last week
• SquareBracketAssociates / OORP
  Object-Oriented Reengineering Patterns
  ☆37Updated 2 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 8 years ago
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆48Updated last month
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆130Updated 4 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 8 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 4 years ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆167Updated 11 months ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated 2 months ago
• rewriting / tom
  ☆34Updated 5 years ago
• bakerjd99 / jacks
  Consolidated J language code referenced in my blog Analyze the Data not the Drivel
  ☆38Updated last month
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 6 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆45Updated 2 weeks ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆51Updated 3 months ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆29Updated 4 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 3 years ago
• junyang / radb
  RA (radb): A relational algebra interpreter over relational databases
  ☆66Updated 2 years ago
• Dyalog / dyalog-jupyter-notebooks
  Jupyter notebooks for Dyalog APL
  ☆45Updated last year