circuits/Data, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2026-07-31T20:08:15+00:00
Add braiding to wiring diagram monoidal structure
2026-07-31T20:08:15+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-31T20:08:15+00:00
urn:sha1:c48ce55a4bf04ed87e62f7542dcb1703fd762246
Show category of directed wiring diagrams is monoidal
2026-07-30T22:44:41+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-30T22:44:41+00:00
urn:sha1:776ec567fd788ddef1f7617b7a3bfeb9cf46c28d
Simplify wiring diagrams using semiadditive dagger
2026-07-19T19:31:03+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-19T19:31:03+00:00
urn:sha1:1528b2a49c0f006bdeff25a46f8f7ab6c23c73fd
Simplify semiadditive dagger definition
2026-07-18T23:20:00+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-18T23:20:00+00:00
urn:sha1:d9ede0379448f50a553af4b91ce835836e712bc3
Add split functor
2026-07-14T04:54:23+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-14T04:54:23+00:00
urn:sha1:78319064329e6b334298ea4bed2eec01d2fc8b47
Construct Sys functor from wiring diagrams to Cats
2026-07-13T23:06:43+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-13T23:06:43+00:00
urn:sha1:9e2f3f3bb9916dca8d4ad4b162ce5b089c26b82e
Add boolean lattice
2026-07-11T08:45:26+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-11T08:45:26+00:00
urn:sha1:5c8dcf6705bc1c285c288ffaff48e3aaabaf993f
Use latest agda-categories
2026-07-11T00:21:14+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-11T00:21:14+00:00
urn:sha1:a408cbee9abbe2dbeee09bd36afc678efe7b6557
Generalize systems to (co)commutative (co)monoids
2026-07-09T20:36:32+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-09T20:36:32+00:00
urn:sha1:7875edd03cce586a8c9f0b95dedffb390bfdbd61
Include missing properties
2026-07-09T17:24:03+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2026-07-09T17:24:03+00:00
urn:sha1:50b9117ebac5f16db7b2ddc59c52a28129e0a618