Alternatives and similar repositories for relational

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

• SquareBracketAssociates / OORP
  Object-Oriented Reengineering Patterns
  ☆36Updated last year
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated last week
• EiffelSoftware / EiffelStudio
  Public mirror of https://svn.eiffel.com/eiffelstudio-public/trunk with 12 months delay, see https://github.com/EiffelSoftware/libraries f…
  ☆51Updated last week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 2 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• BartJongejan / Bracmat
  Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…
  ☆47Updated 2 months ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 2 weeks ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 3 months ago
• DaveVoorhis / Rel
  Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.
  ☆101Updated last year
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• vscosta / yap
  ☆53Updated 2 weeks ago
• jsoftware / jandroid
  J for Android
  ☆34Updated 3 weeks ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• squeak-smalltalk / squeak-app
  Squeak/Smalltalk release bundles
  ☆47Updated 5 months ago
• exercism / sml
  Exercism exercises in Standard ML.
  ☆29Updated last week
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• moosetechnology / Famix
  An abstract representation of source code. Famix is generic and can describe applications in multiple programming languages.
  ☆15Updated this week
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆72Updated 4 years ago
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆16Updated 2 years ago
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 13 years ago
• mattcunningham / naive-apl
  Naive Bayesian Classifier written in APL
  ☆24Updated 7 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• rtoal / ple
  Programming Language Explorations
  ☆94Updated 2 weeks ago
• darius / code-canon
  A catalog of code worth reading
  ☆112Updated 8 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆30Updated 8 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆69Updated 5 months ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago