Skip to content

Pull requests: ToposInstitute/CatColab

New pull request New
31 Open 759 Closed
31 Open 759 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

Improved UI for models of polynomial ODEs ui/ux User interface and user experience
#1211 opened Apr 9, 2026 by tim-at-topos Contributor Loading…
@tim-at-topos
Add document picker to instantiations frontend TypeScript frontend and Rust-wasm integrations ui/ux User interface and user experience
#1210 opened Apr 9, 2026 by kasbah Member Loading…
Add "Last edited" document info, sort document lists by it backend Backend, including web server and database frontend TypeScript frontend and Rust-wasm integrations
#1209 opened Apr 9, 2026 by kasbah Member Loading…
Remove lingering "..." when editing list dom/cod frontend TypeScript frontend and Rust-wasm integrations ui/ux User interface and user experience
#1203 opened Apr 8, 2026 by kasbah Member Loading…
RFC-0005: widening the definition of model, introducing the notion of instance RFC Request for comment
#1201 opened Apr 8, 2026 by tslil-topos Collaborator • Draft
@tslil-topos
Make default editors for morphisms and objects explicit frontend TypeScript frontend and Rust-wasm integrations
#1200 opened Apr 8, 2026 by kasbah Member Loading…
2
Logic for signed polynomial ODEs core Rust core for categorical logic and general computation enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1194 opened Apr 7, 2026 by tim-at-topos Contributor • Draft
1 of 2 tasks
1
UI tweaks to cell creation frontend TypeScript frontend and Rust-wasm integrations ui/ux User interface and user experience
#1192 opened Apr 7, 2026 by kasbah 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
Editor variants and a string diagram variant for Petri nets enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1180 opened Apr 1, 2026 by kasbah Member Loading…
2
11
feature: allow non-unital theories to be meaningfully non-unital core Rust core for categorical logic and general computation enhancement New feature or request
#1178 opened Apr 1, 2026 by tslil-topos Collaborator Loading…
@tslil-topos
4
History and rollback for notebooks backend Backend, including web server and database enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1175 opened Mar 31, 2026 by kasbah Member Loading…
23
Traits for LaTeX equations throughout analyses tidying Refactoring or just improving code; no change in behaviour
#1172 opened Mar 31, 2026 by tim-at-topos Contributor • Draft
1
Re-write infrastructure docs documentation Improvements or additions to documentation
#1170 opened Mar 30, 2026 by jmoggr Collaborator • Draft
feature: Maybe modality, theory for schemas with nullable types
#1167 opened Mar 27, 2026 by tslil-topos Collaborator • Draft
3 tasks done
@tslil-topos
RFC-0003: Splitting logics into builder syntax and interpretation RFC Request for comment
#1165 opened Mar 26, 2026 by tim-at-topos Contributor Loading…
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
ProTip! Adding no:label will show everything without a label.