Skip to content

Pull requests: ToposInstitute/CatColab

New pull request New
28 Open 689 Closed
28 Open 689 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Move RFCs from the /math/ forest to /rfc/ Quarto documentation Improvements or additions to documentation
#1122 opened Mar 12, 2026 by tim-at-topos • Draft
1
Fix Safari font measurement for ELK visualizations bug Something isn't working visualization Visualization and plotting
#1121 opened Mar 12, 2026 by kasbah Loading…
2
Privacy policy documentation Improvements or additions to documentation
#1119 opened Mar 12, 2026 by tim-at-topos • Draft
1
@tim-at-topos
Visualize composition pattern as UWD enhancement New feature or request visualization Visualization and plotting
#1117 opened Mar 12, 2026 by kasbah Loading…
1
9
Instance morphism docs documentation Improvements or additions to documentation math Development of background mathematics
#1116 opened Mar 11, 2026 by KevinDCarlson Loading…
Add check for backend command generate-bindings backend Backend, including web server and database build CI/CD, linting, deployments, and anything Nix
#1115 opened Mar 11, 2026 by kasbah Loading…
3
Suggestions for "Run analysis simulations in webworkers" frontend TypeScript frontend and Rust-wasm integrations performance Making things go fast
#1113 opened Mar 10, 2026 by kasbah • Draft
catcom dev CLI build CI/CD, linting, deployments, and anything Nix enhancement New feature or request
#1106 opened Mar 9, 2026 by kasbah • Draft
Run analysis simulations in webworkers enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations performance Making things go fast
#1105 opened Mar 9, 2026 by jmoggr Loading…
10
Do not return model from text if parser has errors core Rust core for categorical logic and general computation
#1095 opened Mar 4, 2026 by kris-brown Loading…
@kris-brown
Enable inline KaTeX in rich text editor enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1087 opened Mar 2, 2026 by jmoggr Loading…
2
Pretty-printing equations for discrete models core Rust core for categorical logic and general computation enhancement New feature or request
#1085 opened Feb 28, 2026 by KevinDCarlson Loading…
1
Diagrams in Modal Double Theories core Rust core for categorical logic and general computation documentation Improvements or additions to documentation enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1084 opened Feb 28, 2026 by quffaro • Draft
Allow ObTypes and MorTypes to check and synthesize correctly core Rust core for categorical logic and general computation enhancement New feature or request
#1081 opened Feb 26, 2026 by KevinDCarlson Loading…
1
7
Test backwards compatibility of analyses with DB data build CI/CD, linting, deployments, and anything Nix
#1075 opened Feb 23, 2026 by kasbah Loading…
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…
1
Equations in notebook types
#1060 opened Feb 18, 2026 by KevinDCarlson Loading…
7
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…
1
9
Factor linear/Lotka-Voltera ODE analyses through PolynomialSystem
#1007 opened Feb 5, 2026 by georgefst Loading…
1
16
Extending CatColabInterop with DecapodesExt enhancement New feature or request external Work on interfacing with other tools
#989 opened Feb 3, 2026 by quffaro • Draft
WIP: Pausing re-execution of simulations frontend TypeScript frontend and Rust-wasm integrations ui/ux User interface and user experience
#984 opened Feb 2, 2026 by quffaro • Draft
1
Use Automerge doc for user state backend Backend, including web server and database enhancement New feature or request
#976 opened Jan 30, 2026 by kasbah Loading…
20
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
1
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…
1
4
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…
2
ProTip! Adding no:label will show everything without a label.