Skip to content

Pull requests: ToposInstitute/CatColab

New pull request New
45 Open 865 Closed
45 Open 865 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

OBEE-22 new LLMConversation document type backend Backend, including web server and database frontend TypeScript frontend and Rust-wasm integrations
#1353 opened Jul 23, 2026 by tslil-topos Collaborator Loading…
@tslil-topos
8
OBEE-18 Action API: Implementation for basic model notebooks
#1352 opened Jul 22, 2026 by kasbah Member • Draft
2
OBEE-24 LLMConversation document connected to inference in FE enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1351 opened Jul 22, 2026 by tslil-topos Collaborator Loading…
@tslil-topos
2
OBEE-17 Action API: Property based tests for model notebooks
#1349 opened Jul 20, 2026 by kasbah Member Loading…
1
OBEE-14 Action API: Initial tests for model notebooks of schema & olog
#1346 opened Jul 17, 2026 by kasbah Member Loading…
1
OBEE-12 FE: chat and context execution functionality for inference enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1345 opened Jul 16, 2026 by tslil-topos Collaborator Loading…
@tslil-topos
8
Fixed random seed for stochastic mass-action enhancement New feature or request
#1343 opened Jul 15, 2026 by tim-at-topos Contributor Loading…
1 task done
1
Fix JSON serialization of rich text frontend TypeScript frontend and Rust-wasm integrations
#1341 opened Jul 15, 2026 by kasbah Member Loading…
Correct behaviour for maximum path length in submodel search bug Something isn't working frontend TypeScript frontend and Rust-wasm integrations
#1339 opened Jul 14, 2026 by tim-at-topos Contributor Loading…
1
17
Model Type Theory: prototype implementation core Rust core for categorical logic and general computation enhancement New feature or request
#1335 opened Jul 9, 2026 by tslil-topos Collaborator • Draft
@tslil-topos
Protect against some previewing errors I noticed this morning bug Something isn't working frontend TypeScript frontend and Rust-wasm integrations
#1333 opened Jul 7, 2026 by KevinDCarlson Collaborator Loading…
6
OBEE-6 Document type for (tabular) instances
#1332 opened Jun 30, 2026 by tim-at-topos Contributor Loading…
1 task done
13
Cm/ra 2026 demo
#1325 opened Jun 23, 2026 by quffaro Collaborator • Draft
1
Glueing Modal Instances
#1320 opened Jun 15, 2026 by quffaro Collaborator • Draft
Refactor LaTeX methods in catlog-wasm and catlog frontend TypeScript frontend and Rust-wasm integrations tidying Refactoring or simplifying existing code
#1319 opened Jun 15, 2026 by tim-at-topos Contributor Loading…
4
1
Modular instantiation component
#1318 opened Jun 15, 2026 by quffaro Collaborator • Draft
List picker component for morphisms of modal morphisms enhancement New feature or request frontend TypeScript frontend and Rust-wasm integrations
#1316 opened Jun 8, 2026 by quffaro Collaborator Loading…
3
Programmatic notebook API
#1315 opened Jun 8, 2026 by kasbah Member • Draft
WIP instantiating modal diagrams
#1308 opened Jun 3, 2026 by quffaro Collaborator • Draft
hypergraphs
#1307 opened Jun 3, 2026 by KevinDCarlson Collaborator • Draft
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
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
Modelica export enhancement New feature or request external Work on interfacing with other tools
#1284 opened May 18, 2026 by kasbah Member • Draft
3
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
ProTip! What’s not been updated in a month: updated:<2026-06-23.