sergey-goncharov

School of Computer Science, University of Birmingham

Pinned Repositories

agda-categories
A new Categories library for Agda
Language:Agda374 21 15668
agda-stdlib
The Agda standard library
Language:Agda596 29 1k240
bibtexbrowser
Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)
Language:PHP86 17 5954
agda-categories
A new Categories library for Agda
Language:Agda0 0 00
agda-meta-semantics
Categorical semantic toolset in Agda
Language:Agda00
agda-stdlib
The Agda standard library
Language:Agda0 0 00
bibtexbrowser
Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)
Language:PHP0 0 00
hybrid-agda
Duration monad and hybrid semantics in cubical Agda
Language:Agda1 1 00
hybrid-while
Language:Haskell0 1 00
sergey-goncharov.github.io
Mock Home Page
Language:HTML00

sergey-goncharov's Repositories

sergey-goncharov/hybrid-agda
Duration monad and hybrid semantics in cubical Agda
Language:Agda1 1 00
sergey-goncharov/agda-categories
A new Categories library for Agda
Language:Agda0 0 00
sergey-goncharov/agda-meta-semantics
Categorical semantic toolset in Agda
Language:Agda00
sergey-goncharov/agda-stdlib
The Agda standard library
Language:Agda0 0 00
sergey-goncharov/bibtexbrowser
Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)
Language:PHP0 0 00
sergey-goncharov/hybrid-while
Language:Haskell0 1 00
sergey-goncharov/sergey-goncharov.github.io
Mock Home Page
Language:HTML00