UofS-CEPHIL / modelcollabLinks
A web-based application for collaborating on simulation models in real-time using Firebase
☆36Updated 7 months ago
Alternatives and similar repositories for modelcollab
Users that are interested in modelcollab are comparing it to the libraries listed below
Sorting:
- ☆69Updated last month
- A collaborative environment for formal, interoperable, conceptual modeling☆78Updated this week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 2 weeks ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated 2 weeks ago
- Building dynamical systems compositionally☆70Updated 7 months ago
- Relational Algebra, now with more algebra!☆54Updated this week
- A graphical editor for graph-like structures☆97Updated last year
- Julia wrapper around SWI Prolog☆13Updated 3 years ago
- ACSets: Algebraic databases as in-memory data structures☆24Updated last month
- ☆47Updated last year
- ☆114Updated 10 months ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- A framework for composing and simulating multiphysics systems☆65Updated last week
- Template for blueprint-driven formalization projects in Lean.☆54Updated this week
- cadCAD implementation in Julia☆16Updated 5 months ago
- Structured decompositions!☆14Updated 2 months ago
- ☆12Updated 7 months ago
- Build Petri net models compositionally☆83Updated 7 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆31Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆62Updated 9 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- Polynomial-time Meta-Interpretive Learning☆127Updated 3 months ago
- ☆49Updated 2 years ago
- Top-down interpreter for ASP programs with Constraints☆31Updated 6 months ago
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- An interactive theorem prover for string diagrams☆115Updated 7 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Data Science Ontology☆38Updated 3 weeks ago