An open API service indexing awesome lists of open source software.

https://github.com/georgejkaye/smls5

Slides for my SMLS5 talk, 'A Fully Compositional Theory of Sequential Digital Circuits'
https://github.com/georgejkaye/smls5

Last synced: about 2 months ago
JSON representation

Slides for my SMLS5 talk, 'A Fully Compositional Theory of Sequential Digital Circuits'

Awesome Lists containing this project

README

        

# smls5

Slides for my [SMLS5](https://bctcs2024.github.io/) talk, 'A Fully Compositional Theory of Sequential Digital Circuits'.