ToposInstitute / CatColab
A collaborative environment for formal, interoperable, conceptual modeling
☆29Updated this week
Related projects ⓘ
Alternatives and complementary repositories for CatColab
- Relational Algebra, now with more algebra!☆48Updated 3 weeks ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 3 weeks ago
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- ☆42Updated 6 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆26Updated last week
- A graphical editor for graph-like structures☆96Updated 11 months ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- Building dynamical systems compositionally☆66Updated 3 weeks ago
- ☆15Updated 5 months ago
- Build Petri net models compositionally☆76Updated 3 weeks ago
- Accelerated machine learning with dependent types☆79Updated this week
- ☆17Updated 2 years ago
- An interactive theorem prover for string diagrams☆108Updated 3 weeks ago
- Template for blueprint-driven formalization projects in Lean.☆30Updated last week
- (early experiments toward) a version-control system for structured data☆17Updated last year
- Simplicial sets and other combinatorial models of geometric spaces☆31Updated this week
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆22Updated 2 years ago
- ACSets: Algebraic databases as in-memory data structures☆19Updated last month
- A Testing Framework for Lean☆44Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- ☆109Updated 4 months ago
- Library implementing type inference/checking functionality based on the Lean theorem prover☆39Updated 4 months ago
- Parser Combinator Library for Lean 4☆34Updated this week
- WIP collections library for Lean 4☆30Updated 2 weeks ago
- How to read Lean☆16Updated 2 weeks ago
- Ground Zero: Lean 4 HoTT Library☆45Updated last month
- ☆26Updated last month
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated 9 months ago
- ☆35Updated 4 months ago
- ☆65Updated 3 weeks ago