circuits/Data/Circuit, branch main
Tiny circuits DSL
https://git.jacquescomeaux.xyz/circuits/atom?h=main
2025-11-09T23:12:29+00:00
Clean up System functors
2025-11-09T23:12:29+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-11-09T23:12:29+00:00
urn:sha1:6a5154cf29d98ab644b5def52c55f213d1076e2b
Use permutation for equivalence of hypergraphs
2025-11-04T05:29:21+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-11-04T05:29:21+00:00
urn:sha1:298baf2b69620106e95b52206e02d58ad8cb9fc8
Update hypergraph equivalence
2025-10-29T17:53:46+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-29T17:53:46+00:00
urn:sha1:0d876849094f2851247c5d2dce994b6387208712
Add Circuit type
2025-10-29T17:52:04+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-29T17:52:04+00:00
urn:sha1:b651e4d5153fc360d1943de3b73e910fc1f2b7ff
Merge branch 'hypergraph-conversion'
2025-10-28T22:20:33+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-28T22:20:33+00:00
urn:sha1:0bf55c23ad3bee621d0e7425f5a5e875254e3450
Add symmetric monoidal structure to Push functor
2025-10-22T06:20:25+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-22T06:20:25+00:00
urn:sha1:179740f30f8768ec60d3a3324084ef754a2cff2c
Use new if-then-else property
2025-10-15T19:35:40+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-15T19:35:40+00:00
urn:sha1:5f18ab3cac36f29e612886eca114ff3e07c26b4e
Strengthen permutation sort theorem
2025-10-15T18:31:13+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-15T18:31:13+00:00
urn:sha1:21aa7526f51030be9ffd86be2eabd5d07f64b6f4
Add Push and Pull functors
2025-10-11T02:29:26+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-10-11T02:29:26+00:00
urn:sha1:ef9341c42d8572cf37f7f7f317fb8119e8807465
Add lattice of logical circuit values
2025-08-13T04:38:06+00:00
Jacques Comeaux
jacquesrcomeaux@protonmail.com
2025-08-13T04:38:06+00:00
urn:sha1:59833e52879a69ac73360161f42e110d6b45713b