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
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆34Updated last year
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆86Updated 2 years ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆33Updated 11 years ago
• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 2 weeks ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated this week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated 3 weeks ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• 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
• rtoal / ple
  Programming Language Explorations
  ☆94Updated this week
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 2 weeks ago
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• pkhuong / aerie
  Aerie: a regex-like engine nested word grammars
  ☆16Updated 3 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆66Updated 7 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated last month
• vscosta / yap
  ☆52Updated 3 weeks ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• percolate / pratt-parser
  A Pratt Parser implementation in Python
  ☆31Updated 8 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• j2kun / book-template
  A LaTeX template I used for pimbook
  ☆42Updated 4 years ago
• rveen / ogdl-c
  OGDL for C
  ☆17Updated 7 years ago
• smichr / sympy
  SymPy main development repo
  ☆9Updated 4 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆59Updated 5 years ago