aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
hypergraph-conversionAdd S-Expression parser and circuit typecheckerJacques Comeaux14 hours
mainAdd racket language for labeled hypergraphsJacques Comeaux7 weeks
 
 
AgeCommit messageAuthor
14 hoursAdd S-Expression parser and circuit typecheckerhypergraph-conversionJacques Comeaux
14 hoursFinish strict total order for hypergraph edgesJacques Comeaux
2 daysBegin strict total order for hypergraph edgesJacques Comeaux
2025-06-19Add new hypergraph definitionsJacques Comeaux
2025-05-19Add racket language for labeled hypergraphsmainJacques Comeaux
2025-05-01Update trivial decoration functorJacques Comeaux
2025-05-01Update graph decoration functorJacques Comeaux
2025-05-01Add labeled hypergraph decoration functorJacques Comeaux
2025-04-29Add hypergraph decoration functorJacques Comeaux
2025-04-23Category of decorated cospans is symmetric monoidalJacques Comeaux
[...]
 
Clone
https://git.jacquescomeaux.xyz/circuits