| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Add free functor from rig-matrices to semimodules | Jacques Comeaux | 2 weeks | |
| Age | Commit message | Author | ||
| 2026-04-03 | Add free functor from rig-matrices to semimodulesmain | Jacques Comeaux | ||
| 2026-04-02 | Add categories of Rigs, Bisemimodules, and Semimodules | Jacques Comeaux | ||
| 2026-04-02 | Reorganize matrix code | Jacques Comeaux | ||
| 2026-03-29 | Add semimodule of vectors over a commutative rig | Jacques Comeaux | ||
| 2026-03-29 | Add bisemimodule of vectors over a rig | Jacques Comeaux | ||
| 2026-03-28 | Begin separating vector concepts from matrices | Jacques Comeaux | ||
| 2026-03-27 | Build dagger 2-poset Mat(R) for idem. comm. rig R | Jacques Comeaux | ||
| 2026-03-27 | Add commutative rig matrix semiadditive structure | Jacques Comeaux | ||
| 2026-03-27 | Add dagger structure for commutative rig matrices | Jacques Comeaux | ||
| 2026-03-26 | Add cocartesian structure to category of matrices | Jacques Comeaux | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |