#

syco8

Here are 2 public repositories matching this topic...

georgejkaye / syco8-abstract

Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'

streams category-theory digital-circuits applied-category-theory extended-abstract mealy-machines syco syco8

Updated Dec 6, 2021
TeX

georgejkaye / syco8-slides

Slides for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'

slides category-theory digital-circuits applied-category-theory mealy-machines syco syco8

Updated Mar 30, 2022
TeX

Improve this page

Add a description, image, and links to the syco8 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the syco8 topic, visit your repo's landing page and select "manage topics."