Cloudifold

(inf,1)-cat in a RingWorld.

Pinned Repositories

996.ICU
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
Language:Rust0 1 00
agda-ex
Language:Agda0 2 00
DependentTypeElaboration
Language:Haskell4 2 20
functor-fantasy
《函子风云录》：一个轻小说接力写作企划
1 1 00
LineOfAction
Language:Haskell2 1 00
Mat
Implementation of the algorithms in the article Algorithms for matrix canonical forms.
Language:Haskell1 1 00
Nash-Equilibrium
Language:Jupyter Notebook10
Nat-Elab
Language:Haskell2 1 00
Notes-Codes
reading notes
Language:TeX3 4 00
ptmalloc
Downloaded source code of ptmalloc3.
Language:C1 2 01

Cloudifold's Repositories

Cloudifold/DependentTypeElaboration
Language:Haskell4 2 20
Cloudifold/Notes-Codes
reading notes
Language:TeX3 4 00
Cloudifold/LineOfAction
Language:Haskell2 1 00
Cloudifold/Nat-Elab
Language:Haskell2 1 00
Cloudifold/functor-fantasy
《函子风云录》：一个轻小说接力写作企划
1 1 00
Cloudifold/Mat
Implementation of the algorithms in the article Algorithms for matrix canonical forms.
Language:Haskell1 1 00
Cloudifold/Nash-Equilibrium
Language:Jupyter Notebook10
Cloudifold/ptmalloc
Downloaded source code of ptmalloc3.
Language:C1 2 01
Cloudifold/996.ICU
Repo for counting stars and contributing. Press F to pay respect to glorious developers.
Language:Rust0 1 00
Cloudifold/agda-ex
Language:Agda0 2 00
Cloudifold/idris2-lsp
Language Server for Idris2
Language:Idris0 1 00
Cloudifold/meta-hexo-starter-custom
Language:JavaScript0 1 00
Cloudifold/Web-Security-Learning
Web-Security-Learning
Language:HTML0 1 00
Cloudifold/TransformerPriceForecasting
Language:Jupyter Notebook
Cloudifold/WorkingTime
1 0