| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Add monoids / monoid objects in setoids equivalence | Jacques Comeaux | 9 days | |
| Age | Commit message | Author | ||
| 9 days | Add monoids / monoid objects in setoids equivalencemain | Jacques Comeaux | ||
| 10 days | Simplify construction of matrix endofunctor | Jacques Comeaux | ||
| 10 days | Add endofunctor for matrices of fixed size | Jacques Comeaux | ||
| 11 days | Add endofunctor for Vectors of fixed length | Jacques Comeaux | ||
| 12 days | Add bounded distributive lattices | Jacques Comeaux | ||
| 2026-04-03 | Add free functor from rig-matrices to semimodules | 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 | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |