UofS-CEPHIL / modelcollab
A web-based application for collaborating on simulation models in real-time using Firebase
☆35Updated 4 months ago
Alternatives and similar repositories for modelcollab:
Users that are interested in modelcollab are comparing it to the libraries listed below
- ☆69Updated last month
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last month
- A graphical editor for graph-like structures☆98Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆63Updated this week
- Building dynamical systems compositionally☆69Updated 4 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 3 months ago
- Relational Algebra, now with more algebra!☆52Updated this week
- ☆113Updated 7 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Build Petri net models compositionally☆81Updated 4 months ago
- Data Science Ontology☆36Updated 5 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- ACSets: Algebraic databases as in-memory data structures☆22Updated this week
- Categorica: a pure and applied category theory framework for the Wolfram Language☆31Updated 11 months ago
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆93Updated last year
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- a datastructure for scalable combinatorial syntax☆18Updated last week
- Theory and Applications of Lenses and Optics☆55Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Transformations transformed☆79Updated this week
- Structured decompositions!☆12Updated this week
- ☆46Updated 9 months ago
- Polynomial-time Meta-Interpretive Learning☆119Updated last month
- Resources for making sense of topology and its concepts☆17Updated 4 years ago
- Simplicial sets and other combinatorial models of geometric spaces☆35Updated last week
- Template for blueprint-driven formalization projects in Lean.☆44Updated last week
- Top-down interpreter for ASP programs with Constraints☆26Updated 3 months ago
- ☆28Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆11Updated last year