waste-of-kindergarten

Pinned Repositories

Agda
Language:HTML0 1 00
codes
codes of vscode server
Language:Agda0 1 00
coq
coq notes
Language:HTML0 1 00
FastModel
An integrated numpy-based algorithm library
Language:HTML0 1 00
FastPlot
A graphic drawing software based on matplotlib
Language:Python0 1 00
haskell
haskell notes
Language:HTML0 1 00
index
index of my github pages
Language:HTML0 1 00
nebula-fastapi
Language:JavaScript0 1 00
nebula-haskell
Language:Haskell0 1 00
Textbook
Language:HTML0 1 00

waste-of-kindergarten's Repositories

waste-of-kindergarten/Agda
Language:HTML0 1 00
waste-of-kindergarten/codes
codes of vscode server
Language:Agda0 1 00
waste-of-kindergarten/coq
coq notes
Language:HTML0 1 00
waste-of-kindergarten/FastModel
An integrated numpy-based algorithm library
Language:HTML0 1 00
waste-of-kindergarten/FastPlot
A graphic drawing software based on matplotlib
Language:Python0 1 00
waste-of-kindergarten/haskell
haskell notes
Language:HTML0 1 00
waste-of-kindergarten/index
index of my github pages
Language:HTML0 1 00
waste-of-kindergarten/nebula-fastapi
Language:JavaScript0 1 00
waste-of-kindergarten/nebula-haskell
Language:Haskell0 1 00
waste-of-kindergarten/Textbook
Language:HTML0 1 00
waste-of-kindergarten/xhaskell-v0.1
Build haskell (ghcup) Docker image.
1 0
waste-of-kindergarten/xpython37-v0.1
Build python 3.7.9 Docker image.
1 0
waste-of-kindergarten/xpython38-v0.1
Build python 3.8.10 Docker image.
1 0
waste-of-kindergarten/xpython39-v0.1
Build python 3.9.13 Docker image.
1 0