-
Notifications
You must be signed in to change notification settings - Fork 46
Pull requests: ToposInstitute/CatColab
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Use initial content of analysis also as the default content
enhancement
New feature or request
frontend
TypeScript frontend and Rust-wasm integrations
#1068
opened Feb 20, 2026 by
epatters
Loading…
Instantiate default values for MassActionProblemData
bug
Something isn't working
frontend
TypeScript frontend and Rust-wasm integrations
#1066
opened Feb 20, 2026 by
tim-at-topos
•
Draft
Fix mass-action equations analyses for Petri nets
bug
Something isn't working
frontend
TypeScript frontend and Rust-wasm integrations
#1064
opened Feb 20, 2026 by
tim-at-topos
•
Draft
Notebook elaboration for equality types
core
Rust core for categorical logic and general computation
enhancement
New feature or request
#1061
opened Feb 19, 2026 by
KevinDCarlson
Loading…
Deferrable foreign keys for PostgresSQL backend
core
Rust core for categorical logic and general computation
enhancement
New feature or request
frontend
TypeScript frontend and Rust-wasm integrations
#1057
opened Feb 17, 2026 by
quffaro
Loading…
RFC: Set-theoretic models of double theories
documentation
Improvements or additions to documentation
math
Development of background mathematics
#1052
opened Feb 17, 2026 by
epatters
Loading…
Equation types in DoubleTT
core
Rust core for categorical logic and general computation
enhancement
New feature or request
#1047
opened Feb 14, 2026 by
KevinDCarlson
Loading…
Factor linear/Lotka-Voltera ODE analyses through
PolynomialSystem
#1007
opened Feb 5, 2026 by
georgefst
Loading…
Extending CatColabInterop with DecapodesExt
enhancement
New feature or request
external
Work on interfacing with other tools
Use Automerge doc for user state
backend
Backend, including web server and database
enhancement
New feature or request
Migration from signed stock-flow to CLD
core
Rust core for categorical logic and general computation
enhancement
New feature or request
#914
opened Dec 16, 2025 by
tim-at-topos
Loading…
2 tasks done
Change object/morphism types in model notebooks
enhancement
New feature or request
frontend
TypeScript frontend and Rust-wasm integrations
#895
opened Dec 10, 2025 by
quffaro
Loading…
Refactor Julia interop to use elaborated model/diagram
enhancement
New feature or request
external
Work on interfacing with other tools
#812
opened Nov 4, 2025 by
quffaro
Loading…
Morphisms between diagrammatic instances: data structures and validation
core
Rust core for categorical logic and general computation
enhancement
New feature or request
#751
opened Oct 6, 2025 by
kris-brown
•
Draft
Hazel exolivelit wrapper
external
Work on interfacing with other tools
frontend
TypeScript frontend and Rust-wasm integrations
#739
opened Sep 25, 2025 by
disconcision
•
Draft
Extended causal loop diagrams
core
Rust core for categorical logic and general computation
enhancement
New feature or request
#664
opened Aug 5, 2025 by
tim-at-topos
•
Draft
2 tasks done
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.