Alternatives and similar repositories for relational:

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

• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆84Updated 2 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆15Updated last year
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆43Updated this week
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• philschatz / textbooks
  Openstax Textbooks ported to GitHub and hosted on GH Pages
  ☆51Updated 7 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 9 months ago
• prathyvsh / lambda-calculus
  Guide elucidating Lambda Calculus
  ☆16Updated 3 years ago
• wouterbeek / prolog_library_collection
  A collection of Prolog libraries.
  ☆88Updated 6 months ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• jsoftware / jandroid
  J for Android
  ☆33Updated last week
• blakemcbride / APLEditor
  APL function editor written in APL
  ☆13Updated 4 months ago
• annser / annser
  ANNSER is A Neural Network Simulator for Education and Research.
  ☆10Updated 8 years ago
• IMCG / graph-theory-algorithms-book
  https://code.google.com/p/graph-theory-algorithms-book/
  ☆20Updated 9 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• SquareBracketAssociates / OORP
  Object-Oriented Reengineering Patterns
  ☆36Updated last year
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆101Updated last month
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 8 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 week
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆33Updated 7 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 9 months ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆141Updated last year
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆58Updated 11 months ago