Pinned Repositories
AplusB-mc
For A+B (MC) for Real Final Ghudegy Cup 2
circular-omok-mcts
A classical MCTS AI playing circular omok.
ckipalang
the standard kipalang, ported from pykipalang.
coq-number-theory
Number Theory in Coq
linear-suffix-array-construction
Linear suffix array construction. Related to http://www.secmem.org/blog/2021/11/21/linear-suffix-array/
numbers_AI
AI for numbers from macdows 95
pykipalang
kipa's first well-constructed language starting from 3-day coding.
real-number-construction
real number construction in Coq. did it my way.
tex2html
LaTeX to html description transcriptor.
tidy-up-boj-stack
Do not leave messy problems! Sort them into your own categories!
kipa00's Repositories
kipa00/AplusB-mc
For A+B (MC) for Real Final Ghudegy Cup 2
kipa00/tidy-up-boj-stack
Do not leave messy problems! Sort them into your own categories!
kipa00/circular-omok-mcts
A classical MCTS AI playing circular omok.
kipa00/pykipalang
kipa's first well-constructed language starting from 3-day coding.
kipa00/coq-number-theory
Number Theory in Coq
kipa00/linear-suffix-array-construction
Linear suffix array construction. Related to http://www.secmem.org/blog/2021/11/21/linear-suffix-array/
kipa00/real-number-construction
real number construction in Coq. did it my way.
kipa00/ckipalang
the standard kipalang, ported from pykipalang.
kipa00/tex2html
LaTeX to html description transcriptor.
kipa00/numbers_AI
AI for numbers from macdows 95
kipa00/swf2js
swf to javascript project porter
kipa00/infossm.github.io
kipa00/moyobob
Eat with Moyobob!
kipa00/snu-ps.github.io
SNUPS homepage
kipa00/SNU_CS_M2177.004300
kipa00/SWPP-e2e-setup
How to setup project that uses Angular and Django
kipa00/swppgitpractice
Git practice repo for SWPP
kipa00/windows-french-input
French Input
kipa00/WitnessPuzzle
The Witness Puzzle Generator.