| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Add category of matrices over an arbitary rig | Jacques Comeaux | 4 days | |
| Age | Commit message | Author | ||
| 4 days | Add category of matrices over an arbitary rigmain | Jacques Comeaux | ||
| 9 days | Add wiring diagram equalities | Jacques Comeaux | ||
| 9 days | Refactor wiring diagrams | Jacques Comeaux | ||
| 9 days | Add "idempotent" semiadditive dagger categories | Jacques Comeaux | ||
| 9 days | Allow square brackets in circuit lang identifiers | Jacques Comeaux | ||
| 9 days | Refactor systems and add looped systems | Jacques Comeaux | ||
| 11 days | Add semiadditive dagger categories | Jacques Comeaux | ||
| 13 days | Add preliminary category of wiring diagrams | Jacques Comeaux | ||
| 2026-03-08 | Add monoidal category of finite relations | Jacques Comeaux | ||
| 2026-01-13 | Fix modules broken by addition of strong SymMonCat | Jacques Comeaux | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |