Beast code in Giters

Gun Pinyo's repositories

Phometa is an application that can build formal system based on visualization.

Language:ElmBSD-3-Clause600

My personal spacemacs configuration

Language:Emacs Lisp000

Implementation of Category Theory in Agda as a part of excercise for me to understand Category Theory

Language:AgdaBSD-3-Clause010

Language:Agda000

Language:Java000

Edit, debug, develop, run Python programs

Language:Emacs LispGPL-3.0000

Language:Java000

Formalisation of the twisted cubes in Lean.

Language:Lean020