All pull requests

Pull requests

• remove closed list of shapes, automatically inject bindings into execution scope

  #1582·tslil-topos opened Nov 6, 2026Collaborator·

  ·
  

• Make delete column sticky on the right

  ui/ux
  #1581·kasbah opened Nov 6, 2026Member·5/5·

  ·
  1

• Use more subtle higlighting for delete row hover

  ui/ux
  #1579·kasbah opened Nov 6, 2026Member·4/5·

  ·

• Add stock-and-flow theories to logics

  #1578·kasbah opened Nov 5, 2026Member·4/4·

  ·

• Add polynomial ODE to logics package

  #1576·kasbah opened Nov 5, 2026Member·3/4·

  ·

• Add all currently compatible theories to logics package

  #1574·kasbah opened Nov 5, 2026Member·2/4·

  ·

• Move listing cell vocabularies into documents package

  #1573·kasbah opened Nov 5, 2026Member·1/4·

  ·
  4

• Re-resolve row refs via labels when they change

  ui/ux
  #1569·kasbah opened Nov 4, 2026Member·3/5·

  ·
  1

• Allow editing row ref cells as free-form text

  enhancementui/ux
  #1567·kasbah opened Nov 4, 2026Member·2/5·

  ·
  2

• Add labels to tabular data instance rows

  enhancementfrontend
  #1566·kasbah opened Nov 3, 2026Member·1/5·

  ·
  6

• Equations for ODE analyses, and formal LaTeX support

  canaryfrontend
  #1553·tim-at-topos opened Oct 15, 2026Contributor·5/5·

  ·
  2

• Rewrite mass-action to use ODESemantics

  corefrontend
  #1552·tim-at-topos opened Oct 15, 2026Contributor·4/5·

  ·

• Rewrite CLD ODE semantics using ODESemantics

  corefrontend
  #1551·tim-at-topos opened Oct 15, 2026Contributor·3/5·

  ·

• Rewrite polynomial_ode using ODESemantics

  corefrontend
  #1549·tim-at-topos opened Oct 15, 2026Contributor·2/5·

  ·

• Version numbers for analyses

  canarycore
  #1547·tim-at-topos opened Oct 15, 2026Contributor·1/5·1 of 3 tasks·

  ·

• Diffs + Comments for GAIOS deploy of Catcolab

  #1543·paulsonnentag opened Oct 15, 2026Collaborator·

  ·
  2

• Add loadSupportedDocumentFromRef method on binder

  enhancementfrontend
  #1516·kasbah opened Sep 29, 2026Member·

  ·
  1

• Table editor optimization

  #1499·kasbah opened Sep 14, 2026Member·

  ·

• Add a retry button to LLM conversation

  enhancementfrontend
  #1497·kasbah opened Sep 14, 2026Member·2/2·

  ·
  5

• Refactor ODE analyses through ODESemantics in catlog, catlog-wasm, and frontend

  #1364·tim-at-topos opened Aug 1, 2026Contributor·1/2·

  ·
  4

  6

  

• Script to autogenerate tikz macros from Quarto macros

  #1360·KevinDCarlson opened Jul 30, 2026Collaborator·

  ·

• Model Type Theory: prototype implementation

  coreenhancement
  #1335·tslil-topos opened Jul 9, 2026Collaborator·

  ·
  

• Cm/ra 2026 demo

  #1325·quffaro opened Jun 23, 2026Collaborator·

  ·
  1

• Glueing Modal Instances

  #1320·quffaro opened Jun 15, 2026Collaborator·

  ·

• Modular instantiation component

  #1318·quffaro opened Jun 15, 2026Collaborator·

  ·