Alternatives and similar repositories for RelationalThinking-Book:

Users that are interested in RelationalThinking-Book are comparing it to the libraries listed below

• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆42Updated this week
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆67Updated 2 months ago
• LocalCharts / silviculture
  ☆15Updated 7 months ago
• AlgebraicJulia / StructuredDecompositions.jl
  Structured decompositions!
  ☆12Updated this week
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆41Updated 7 months ago
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆14Updated 2 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆51Updated last week
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆25Updated last month
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated 2 weeks ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated last month
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated 3 months ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆97Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆16Updated 2 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last week
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆49Updated 2 months ago
• DavidJaz / DynamicalSystemsBook
  ☆42Updated 8 months ago
• The-Clowder-Project / the-clowder-project
  This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
  ☆19Updated last week
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 3 years ago
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 3 years ago
• AlgebraicJulia / ACSets.jl
  ACSets: Algebraic databases as in-memory data structures
  ☆21Updated last month
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• ToposInstitute / poly
  ☆113Updated 6 months ago
• tomdjong / MGS-categorical-realizability
  Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
  ☆19Updated 6 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 2 months ago
• UofS-CEPHIL / modelcollab
  A web-based application for collaborating on simulation models in real-time using Firebase
  ☆35Updated 2 months ago
• uemurax / morg
  Organize mathematical thoughts
  ☆19Updated last year
• Herb-AI / HerbSWIPL.jl
  Julia wrapper around SWI Prolog
  ☆13Updated 2 years ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆25Updated 2 months ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆19Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago