ToposInstitute / RelationalThinking-BookLinks
☆13Updated last year
Alternatives and similar repositories for RelationalThinking-Book
Users that are interested in RelationalThinking-Book are comparing it to the libraries listed below
Sorting:
- A collaborative environment for formal, interoperable, conceptual modeling☆143Updated this week
- A web-based application for collaborating on simulation models in real-time using Firebase☆39Updated last year
- Data Science Ontology☆40Updated 4 months ago
- Top-down interpreter for ASP programs with Constraints☆34Updated 6 months ago
- The Heterogeneous Tool Set☆60Updated 3 months ago
- SAT solver for education☆26Updated 3 years ago
- A mathematical foundation for Smalltalk-25☆19Updated 2 weeks ago
- ☆76Updated 3 months ago
- A graphical editor for graph-like structures☆103Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated 2 weeks ago
- Building dynamical systems compositionally☆76Updated 2 weeks ago
- Category Theory in Programming☆13Updated 5 months ago
- Relational Algebra, now with more algebra!☆55Updated 4 months ago
- Mirror of ocaml-forester☆49Updated last year
- ☆43Updated this week
- A semantic Extension of TeX/LaTeX☆55Updated last week
- The SMoL (Standard Model of Languages) Family of Languages☆21Updated last year
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Updated 2 years ago
- The MMT Language and System☆79Updated 4 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 weeks ago
- Leibniz - a Digital Scientific Notation☆36Updated 9 months ago
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths☆18Updated last month
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- Binaryen bindings for Racket☆11Updated 4 years ago
- An English translation of Deligne's three "Hodge theory" papers☆14Updated 3 months ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated this week
- Build Petri net models compositionally☆90Updated 4 months ago
- top-down interpreter for ASP programs with constraints☆18Updated 3 years ago