Alternatives and similar repositories for relational

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

• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆38Updated this week
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated 2 weeks ago
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated last month
• jackfoxy / SpecifyingSystemsWithContents
  Adding a table of contents to Specifying Systems, TLA+.pdf
  ☆66Updated 7 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆145Updated last year
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated 9 months ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated last year
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆43Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 9 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated this week
• dunn / modernphilosophy
  A Markdown version of the free textbook created by Walter Ott
  ☆23Updated 10 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated this week
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• LearnPrologNow / lpn
  Learn Prolog Now LaTeX sources
  ☆87Updated 2 years ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆64Updated last month
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆23Updated this week
• TikhonJelvis / Reactive-Life
  A functional reactive GUI for John Conway's Game of Life.
  ☆25Updated 9 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• IMCG / graph-theory-algorithms-book
  https://code.google.com/p/graph-theory-algorithms-book/
  ☆20Updated 9 years ago
• djvelleman / HTPILeanPackage
  ☆31Updated 2 weeks ago