ToposInstitute / RelationalThinking-BookLinks
☆12Updated 8 months ago
Alternatives and similar repositories for RelationalThinking-Book
Users that are interested in RelationalThinking-Book are comparing it to the libraries listed below
Sorting:
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated last month
- Structured decompositions!☆14Updated 2 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆79Updated this week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated 3 weeks ago
- Building dynamical systems compositionally☆71Updated 7 months ago
- ACSets: Algebraic databases as in-memory data structures☆25Updated last month
- cadCAD implementation in Julia☆16Updated 6 months ago
- A graphical editor for graph-like structures☆97Updated last year
- An active inference model of Lacanian psychoanalysis☆10Updated 2 weeks ago
- ☆69Updated 2 months ago
- Relational Algebra, now with more algebra!☆54Updated last week
- A web-based application for collaborating on simulation models in real-time using Firebase☆36Updated 7 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Data Science Ontology☆38Updated last month
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last year
- ☆16Updated last week
- ☆13Updated 2 years ago
- A client interface to read from and write to the TypeDB Knowledge Graph☆52Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆52Updated last month
- Build Petri net models compositionally☆84Updated 7 months ago
- Julia wrapper around SWI Prolog☆13Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- ☆16Updated last year
- Julia package for parsing, manipulating and evaluating formulas in first-order logic.☆19Updated 5 years ago
- Neo4j Bolt driver for Julia supports Neo4j 3.0 and above☆29Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- A framework for composing and simulating multiphysics systems☆66Updated this week
- Simplicial Sets and the Discrete Exterior Calculus☆38Updated this week
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths☆17Updated 3 weeks ago