Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: monoidal-categories
Cobord/Hypergraph
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
Language: Rust - Size: 326 KB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 6 - Forks: 3
georgejkaye/lfcs-seminar
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
Language: TeX - Size: 1.39 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
ahadziha/rewalt
A toolkit for higher-dimensional diagram rewriting.
Language: Python - Size: 2.86 MB - Last synced: 14 days ago - Pushed: over 1 year ago - Stars: 14 - Forks: 0
vikraman/2DTypes
Collaborative work on reversible computing
Language: TeX - Size: 42.3 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 16 - Forks: 1
georgejkaye/act2022-slides
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
Language: TeX - Size: 95.7 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 5 - Forks: 0
solomon-b/monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
Language: Haskell - Size: 335 KB - Last synced: 17 days ago - Pushed: 3 months ago - Stars: 16 - Forks: 2
iwilare/categorical-automata
Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272
Language: Agda - Size: 569 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 15 - Forks: 1
