Pinned Repositories
.spacemacs.d
My personal spacemacs configuration
agda-cat
Implementation of Category Theory in Agda as a part of excercise for me to understand Category Theory
cubical-demo
genHardwareCW2
phometa
Phometa is an application that can build formal system based on visualization.
python-mode
Edit, debug, develop, run Python programs
SnakeTeleport
twisted_cube_formalisation
Formalisation of the twisted cubes in Lean.
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
gunpinyo's Repositories
gunpinyo/phometa
Phometa is an application that can build formal system based on visualization.
gunpinyo/.spacemacs.d
My personal spacemacs configuration
gunpinyo/agda-cat
Implementation of Category Theory in Agda as a part of excercise for me to understand Category Theory
gunpinyo/cubical-demo
gunpinyo/genHardwareCW2
gunpinyo/python-mode
Edit, debug, develop, run Python programs
gunpinyo/SnakeTeleport
gunpinyo/twisted_cube_formalisation
Formalisation of the twisted cubes in Lean.