Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-stdlib
The Agda standard library
agda-unimath
Univalent mathematics in Agda
cubical
An experimental library for Cubical Agda
Is-Prime
O(1) Algorithm to check if number is prime that works in 95%+ cases.
morphismz
Config files for my GitHub profile.
morphismz.github.io
My academic website
Raymond-Baker
Bio
test
this is a test repositiory, so I can learn git command
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
morphismz's Repositories
morphismz/agda
Agda is a dependently typed programming language / interactive theorem prover.
morphismz/agda-stdlib
The Agda standard library
morphismz/agda-unimath
Univalent mathematics in Agda
morphismz/cubical
An experimental library for Cubical Agda
morphismz/Is-Prime
O(1) Algorithm to check if number is prime that works in 95%+ cases.
morphismz/morphismz
Config files for my GitHub profile.
morphismz/morphismz.github.io
My academic website
morphismz/Raymond-Baker
Bio
morphismz/test
this is a test repositiory, so I can learn git command
morphismz/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
morphismz/yoneda
comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories