morphismz

A contractable space

Right Here

Pinned Repositories

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

morphismz's Repositories

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