UofS-CEPHIL / modelcollab
A web-based application for collaborating on simulation models in real-time using Firebase
☆31Updated 3 weeks ago
Related projects: ⓘ
- ☆63Updated 3 weeks ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated last month
- Building dynamical systems compositionally☆65Updated last week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆25Updated last week
- A graphical editor for graph-like structures☆93Updated 9 months ago
- Theory and Applications of Lenses and Optics☆50Updated 2 years ago
- Relational Algebra, now with more algebra!☆48Updated 10 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated 10 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆12Updated this week
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆88Updated 10 months ago
- Build Petri net models compositionally☆72Updated 2 months ago
- An interactive theorem prover for string diagrams☆105Updated 7 months ago
- ☆107Updated 2 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆25Updated 5 months ago
- ☆41Updated 4 months ago
- Leibniz - a Digital Scientific Notation☆34Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 2 years ago
- ☆48Updated 2 years ago
- A framework for composing and simulating multiphysics systems☆47Updated 2 weeks ago
- ACSets: Algebraic databases as in-memory data structures☆18Updated 2 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆48Updated 10 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆49Updated 2 months ago
- Very controlled natural language tactics for Lean☆60Updated 7 months ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆16Updated 4 months ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- Simplicial sets and other combinatorial models of geometric spaces☆28Updated this week
- ☆34Updated 2 months ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago