Skip to content

Pull requests: ToposInstitute/CatColab

New pull request New
29 Open 801 Closed
29 Open 801 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

Use "type" "bug" in issue template
#1261 opened May 12, 2026 by kasbah Member Loading…
Patch for owner change on wasm-pack build CI/CD, linting, deployments, and anything Nix
#1258 opened May 12, 2026 by KevinDCarlson Collaborator Loading…
RFC-0009: Instances in DoubleTT
#1257 opened May 11, 2026 by KevinDCarlson Collaborator Loading…
Evaluating rush monorepo build tool for TS build CI/CD, linting, deployments, and anything Nix
#1255 opened May 11, 2026 by kasbah Member • Draft
Update TypeScript to v6, and update oxlint & stylelint build CI/CD, linting, deployments, and anything Nix
#1254 opened May 11, 2026 by kasbah Member Loading…
4
Code View Component enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1252 opened May 7, 2026 by quffaro Collaborator • Draft
Refactor mass_action.rs to build a model in the theory of signed polynomial ODE systems core Rust core for categorical logic and general computation frontend TypeScript frontend and Rust-wasm integrations tidying Refactoring or simplifying existing code
#1251 opened May 7, 2026 by tim-at-topos Contributor • Draft
2 tasks
ENH: @ext macro
#1249 opened May 5, 2026 by quffaro Collaborator Loading…
1
Fix automerge-prosemirror RangeError on undo/redo
#1248 opened May 5, 2026 by kasbah Member • Draft
UI for editing path equations in schemas and ologs
#1247 opened May 5, 2026 by kasbah Member Loading…
1
3
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
RFC-0004: Internal languages for models, continued documentation Improvements or additions to documentation math Development of background mathematics RFC Request for comment
#1232 opened Apr 20, 2026 by epatters Member Loading…
Keyboard shortcuts for undo/redo enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1186 opened Apr 2, 2026 by kasbah Member • 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
Tighten up docs on hash mismatch documentation Improvements or additions to documentation
#1138 opened Mar 17, 2026 by kasbah Member Loading…
9
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
Test backwards compatibility of analyses with DB data build CI/CD, linting, deployments, and anything Nix
#1075 opened Feb 23, 2026 by kasbah Member Loading…
6
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 Collaborator Loading…
1
17
ProTip! What’s not been updated in a month: updated:<2026-04-12.