Popular repositories Loading

1. phometa phometa Public

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

   Elm 6 1

2. SnakeTeleport SnakeTeleport Public

   Java

3. genHardwareCW2 genHardwareCW2 Public

   Java

4. agda-cat agda-cat Public

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

   Agda

5. .spacemacs.d .spacemacs.d Public

   My personal spacemacs configuration

   Emacs Lisp

6. cubical-demo cubical-demo Public

   Forked from Saizan/cubical-demo

   Agda