Raymond Baker's repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:HaskellNOASSERTION000
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
agda-unimath
Univalent mathematics in Agda
Language:AgdaMIT000
cubical
An experimental library for Cubical Agda
Language:AgdaMIT000
morphismz
Config files for my GitHub profile.
000
morphismz.github.io
My academic website
Language:JavaScriptMIT000
000
test
this is a test repositiory, so I can learn git command
000
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:AgdaGPL-3.0000
yoneda
comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
Language:Lean000