Ice1000's archives

Popular repositories Loading

1. ConsHoTT ConsHoTT Public

   Constructive Interpretations of HoTT

   TeX 36 1

2. Theorems Theorems Public

   🌐 Theorems that rule this multiverse

   Agda 11 2

3. LearnEnglish LearnEnglish Public

   🇺🇸 My TOEFL exercise

   Ruby 6 1

4. FindLine FindLine Public

   A JVM App used to distinguish lines in a png/jpg file

   Kotlin 5

5. xjb xjb Public

   My Emacs/Bashrc configs and linux installer

   Emacs Lisp 5

6. lua-full lua-full Public

   A modified lua/lua-icxx/lua-intf for personal usage

   C 4