A collaborative environment for formal, interoperable, conceptual modeling
☆149Updated this week
Alternatives and similar repositories for CatColab
Users that are interested in CatColab are comparing it to the libraries listed below
Sorting:
- ☆16Jan 21, 2026Updated last month
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated last month
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- ACSets: Algebraic databases as in-memory data structures☆27Feb 10, 2026Updated 2 weeks ago
- Structured decompositions!☆15Mar 26, 2025Updated 11 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆35Oct 4, 2025Updated 4 months ago
- Building dynamical systems compositionally☆77Feb 11, 2026Updated 2 weeks ago
- ☆127Jul 17, 2024Updated last year
- A framework for applied category theory in the Julia language☆692Feb 10, 2026Updated 2 weeks ago
- ☆77Oct 4, 2025Updated 4 months ago
- ☆12Dec 9, 2022Updated 3 years ago
- ☆16Jun 9, 2024Updated last year
- Data structures for describing changes to other data structures.☆17Jan 19, 2025Updated last year
- Graphing Scrubbing Calculator☆11Nov 27, 2017Updated 8 years ago
- Simplicial Sets and the Discrete Exterior Calculus☆41Feb 21, 2026Updated last week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆89Feb 23, 2026Updated last week
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆14Oct 9, 2025Updated 4 months ago
- A graphical editor for graph-like structures☆104Dec 18, 2023Updated 2 years ago
- Relational Algebra, now with more algebra!☆55Sep 14, 2025Updated 5 months ago
- 🍃 The Leaf SDK — Entity-Component Data on top of synchronized CRDTs☆16Jun 2, 2025Updated 9 months ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆28Jan 8, 2026Updated last month
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- A proof assistant for higher-dimensional type theory☆235Jan 26, 2026Updated last month
- Command-like expressions for real infinite-precision calculations☆55Aug 5, 2025Updated 6 months ago
- Eventually a practical 2-level TT-based compiler☆31Feb 3, 2026Updated 3 weeks ago
- Build Petri net models compositionally☆90Aug 27, 2025Updated 6 months ago
- Haskell implementation of open games☆183Jan 31, 2025Updated last year
- A local-first chat application with user login☆19Feb 10, 2026Updated 2 weeks ago
- Categorical Query Language IDE☆325Jan 7, 2026Updated last month
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- ☆17Updated this week
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆37Feb 11, 2026Updated 2 weeks ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- Dynamic Markov Blanket Discovery☆16Mar 27, 2024Updated last year
- Bindings to libclingo for the lean4 prover and programming language!☆21Nov 27, 2024Updated last year
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated 10 months ago
- Openwater's Open-Source Neuromodulation Hardware☆22Mar 9, 2024Updated last year
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆18Apr 3, 2023Updated 2 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year