Skip to content

Pull requests: ToposInstitute/CatColab

New pull request New
30 Open 837 Closed
30 Open 837 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

Fixing invalid type names and duplicate columns in SQL analysis bug Something isn't working
#1306 opened May 31, 2026 by quffaro Collaborator • Draft
1
Frontend for Diagrams of Modal Double Models enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1305 opened May 30, 2026 by quffaro Collaborator • Draft
1
Morphisms of Modal Double Models core Rust core for categorical logic and general computation enhancement New feature or request
#1304 opened May 29, 2026 by quffaro Collaborator Loading…
1
MutDblModelMapping trait for discrete doctrine core Rust core for categorical logic and general computation enhancement New feature or request
#1303 opened May 29, 2026 by quffaro Collaborator Loading…
3
Petri net document type and delta lens enhancement New feature or request external Work on interfacing with other tools
#1298 opened May 27, 2026 by tslil-topos Collaborator Loading…
2
Pin playwright to previous version to avoid CI hangs build CI/CD, linting, deployments, and anything Nix
#1297 opened May 27, 2026 by kasbah Member • Draft
3
Modelica export enhancement New feature or request external Work on interfacing with other tools
#1284 opened May 18, 2026 by kasbah Member • Draft
2
Decapodes Refactor for Modal Double Diagrams enhancement New feature or request external Work on interfacing with other tools tidying Refactoring or simplifying existing code
#1283 opened May 17, 2026 by quffaro Collaborator • Draft
Petrinaut editor enhancement New feature or request external Work on interfacing with other tools
#1279 opened May 15, 2026 by kasbah Member • Draft
WIP: Config document
#1270 opened May 13, 2026 by quffaro Collaborator • Draft
Testing Nix workflow using MacOS Github runner build CI/CD, linting, deployments, and anything Nix
#1264 opened May 12, 2026 by kasbah Member • Draft
RFC-0009: Instances in DoubleTT RFC Request for comment
#1257 opened May 11, 2026 by KevinDCarlson Collaborator Loading…
Refactor ODE analyses to build models in the theory of signed polynomial ODE systems core Rust core for categorical logic and general computation tidying Refactoring or simplifying existing code
#1251 opened May 7, 2026 by tim-at-topos Contributor • Draft
9 of 11 tasks
6
Fix automerge-prosemirror RangeError on undo/redo bug Something isn't working frontend TypeScript frontend and Rust-wasm integrations
#1248 opened May 5, 2026 by kasbah Member • Draft
UI for editing path equations in schemas and ologs enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1247 opened May 5, 2026 by kasbah Member Loading…
1
4
Instances in DoubleTT core Rust core for categorical logic and general computation enhancement New feature or request
#1246 opened May 5, 2026 by KevinDCarlson Collaborator • Draft
Traits for LaTeX equations throughout analyses tidying Refactoring or simplifying existing code
#1172 opened Mar 31, 2026 by tim-at-topos Contributor • Draft
1
Add client monitoring with sentry.io build CI/CD, linting, deployments, and anything Nix
#1153 opened Mar 23, 2026 by jmoggr Collaborator • Draft
Add type-safe AnalysisId for simulation dispatch frontend TypeScript frontend and Rust-wasm integrations
#1131 opened Mar 16, 2026 by jmoggr Collaborator Loading…
Migrate CI/CD to Nix, serve frontend + docs from backend instead of Netlify build CI/CD, linting, deployments, and anything Nix
#1128 opened Mar 16, 2026 by jmoggr Collaborator • Draft
1
Instance morphism docs documentation Improvements or additions to documentation math Development of background mathematics
#1116 opened Mar 11, 2026 by KevinDCarlson Collaborator Loading…
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 Member • Draft
catcom dev CLI build CI/CD, linting, deployments, and anything Nix enhancement New feature or request
#1106 opened Mar 9, 2026 by kasbah Member • 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 Collaborator Loading…
17
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 Collaborator • Draft
3
ProTip! Adding no:label will show everything without a label.