Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: syco
georgejkaye/syco8-slides
Slides for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
Language: TeX - Size: 26.4 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
georgejkaye/syco8-abstract
Extended abstract for my SYCO 8 talk, 'Normalisation by evaluation for digital circuits'
Language: TeX - Size: 24.4 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0