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☆116Updated this week
- Mirror of ocaml-forester☆45Updated last year
- The SMoL (Standard Model of Languages) Family of Languages☆20Updated 9 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆33Updated 2 months ago
- ☆72Updated last week
- A graphical editor for graph-like structures☆100Updated last year
- A web-based application for collaborating on simulation models in real-time using Firebase☆37Updated 11 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last week
- Building dynamical systems compositionally☆73Updated last week
- A mathematical foundation for Smalltalk-25☆17Updated 2 weeks ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated this week
- SAT solver for education☆26Updated 2 years ago
- Relational Algebra, now with more algebra!☆55Updated 3 weeks ago
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks ago
- multilingual dictionary of mathematical terminology☆20Updated last week
- Build Petri net models compositionally☆88Updated last month
- The MMT Language and System☆76Updated last month
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated last week
- Exploring Automatic Differentiation with Racket☆12Updated 3 years ago
- Source of metamath book☆51Updated last year
- Data Science Ontology☆38Updated 3 weeks ago
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆74Updated 2 weeks ago
- "proving-contest"-backends for several theorem provers☆13Updated 11 months ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated 10 months ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Updated 2 years ago
- Category Theory in Programming☆12Updated 2 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated last year
- Draw lightsabers using Racket's pict library☆11Updated 6 years ago