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
• a-nikolaev / study-in-scarlet
  A simple Unix-friendly toolkit for plagiarism detection.
  ☆18Updated 4 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 8 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 7 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• eiffelhub / json
  Eiffel JSON library
  ☆18Updated 4 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 4 months ago
• rtoal / ple
  Programming Language Explorations
  ☆92Updated this week
• julianhyde / morel
  Standard ML interpreter, with relational extensions, implemented in Java
  ☆30Updated last week
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆65Updated 7 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆27Updated 9 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆34Updated 11 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆141Updated last year
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆14Updated 4 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated last year
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 8 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 8 months ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• vscosta / yap
  ☆50Updated 3 weeks ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆43Updated last week
• IMCG / graph-theory-algorithms-book
  https://code.google.com/p/graph-theory-algorithms-book/
  ☆20Updated 9 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆113Updated 7 years ago
• fosslc / Ingres
  Ingres is a feature rich and robust database (RDBMS)
  ☆69Updated 14 years ago
• portante / cscope
  A fork of cscope from sourceforge with assignment searches added, with enhancements to support pycscope
  ☆23Updated 12 years ago
• exercism / sml
  Exercism exercises in Standard ML.
  ☆27Updated 2 weeks ago