Branch | Commit message | Author | Age | |
---|---|---|---|---|
hypergraph-conversion | Add S-Expression parser and circuit typechecker | Jacques Comeaux | 14 hours | |
main | Add racket language for labeled hypergraphs | Jacques Comeaux | 7 weeks | |
Age | Commit message | Author | ||
14 hours | Add S-Expression parser and circuit typecheckerhypergraph-conversion | Jacques Comeaux | ||
14 hours | Finish strict total order for hypergraph edges | Jacques Comeaux | ||
2 days | Begin strict total order for hypergraph edges | Jacques Comeaux | ||
2025-06-19 | Add new hypergraph definitions | Jacques Comeaux | ||
2025-05-19 | Add racket language for labeled hypergraphsmain | Jacques Comeaux | ||
2025-05-01 | Update trivial decoration functor | Jacques Comeaux | ||
2025-05-01 | Update graph decoration functor | Jacques Comeaux | ||
2025-05-01 | Add labeled hypergraph decoration functor | Jacques Comeaux | ||
2025-04-29 | Add hypergraph decoration functor | Jacques Comeaux | ||
2025-04-23 | Category of decorated cospans is symmetric monoidal | Jacques Comeaux | ||
[...] | ||||
Clone | ||||
https://git.jacquescomeaux.xyz/circuits |