ndo885

Pinned Repositories

• AlgebraicRewriting.jl

  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

  Language:Julia2810315

• CANMOD-2022

  Materials for 2022 CANMOD Workshop on Compositional Methods for Health Modeling

  Language:HTML6705

ndo885's Repositories