Projects in Awesome Lists tagged with act2022

A curated list of projects in awesome lists tagged with act2022 .

• Sort

  • Recently synced
  • Stars

https://github.com/georgejkaye/act2022-slides

Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'

act2022 applied-category-theory digital-circuits monoidal-categories string-diagrams

Last synced: 12 Apr 2025

https://github.com/georgejkaye/act2022-abstract

Extended abstract for my submission to ACT2022

act2022 digital-circuits

Last synced: 12 Apr 2025