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☆146Updated this week
- Mirror of ocaml-forester☆49Updated last year
- Relational Algebra, now with more algebra!☆55Updated 4 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated 2 weeks ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆35Updated 4 months ago
- An English translation of Deligne's three "Hodge theory" papers☆14Updated 2 weeks ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆39Updated last year
- Category Theory in Programming☆13Updated 2 weeks ago
- Building dynamical systems compositionally☆77Updated this week
- ☆77Updated 4 months ago
- A graphical editor for graph-like structures☆104Updated 2 years ago
- A collection of Kanren implementations in Julia☆24Updated 3 months ago
- Build Petri net models compositionally☆90Updated 5 months ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆44Updated last year
- Top-down interpreter for ASP programs with Constraints☆34Updated 7 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆41Updated 6 months ago
- Simplicial Sets and the Discrete Exterior Calculus☆41Updated this week
- Sample projects for Quantomatic☆12Updated 5 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Updated 4 years ago
- A server for the forester tool☆17Updated last year
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- ☆16Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- ☆43Updated 3 weeks ago
- Learn Lean and topology☆26Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Updated last week
- multilingual dictionary of mathematical terminology☆20Updated 3 months ago
- Lean course materials for Brown CS 22, Spring 2023☆20Updated 2 years ago
- Julia wrapper around SWI Prolog☆13Updated 3 years ago