UofS-CEPHIL / modelcollab
A web-based application for collaborating on simulation models in real-time using Firebase
☆32Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for modelcollab
- ☆65Updated 3 weeks ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 3 weeks ago
- Building dynamical systems compositionally☆66Updated 3 weeks ago
- A collaborative environment for formal, interoperable, conceptual modeling☆29Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆26Updated last week
- A graphical editor for graph-like structures☆96Updated 11 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- Relational Algebra, now with more algebra!☆48Updated 3 weeks ago
- Build Petri net models compositionally☆76Updated 3 weeks ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆27Updated 7 months ago
- Simplicial sets and other combinatorial models of geometric spaces☆31Updated this week
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- ☆109Updated 4 months ago
- ACSets: Algebraic databases as in-memory data structures☆19Updated last month
- An interactive theorem prover for string diagrams☆108Updated 3 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- A framework for composing and simulating multiphysics systems☆50Updated this week
- ☆42Updated 6 months ago
- ☆64Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- Accelerated machine learning with dependent types☆79Updated this week
- ☆35Updated 4 months ago
- Data Science Ontology☆36Updated 2 months ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- ☆38Updated last month
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆22Updated 2 years ago
- Template for blueprint-driven formalization projects in Lean.☆30Updated last week
- A julia package for representing and manipulating model semantics☆77Updated 4 years ago
- Thoughts on adjoint, norm and such.☆165Updated last year
- Very controlled natural language tactics for Lean☆61Updated 9 months ago