| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Add monoids / monoid objects in setoids equivalence | Jacques Comeaux | 5 weeks | |
| Age | Commit message | Author | ||
| 2026-04-30 | Add monoids / monoid objects in setoids equivalencemain | Jacques Comeaux | ||
| 2026-04-29 | Simplify construction of matrix endofunctor | Jacques Comeaux | ||
| 2026-04-29 | Add endofunctor for matrices of fixed size | Jacques Comeaux | ||
| 2026-04-28 | Add endofunctor for Vectors of fixed length | Jacques Comeaux | ||
| 2026-04-27 | 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 |