kipa00

AplusB-mc

For A+B (MC) for Real Final Ghudegy Cup 2

tidy-up-boj-stack

Do not leave messy problems! Sort them into your own categories!

circular-omok-mcts

A classical MCTS AI playing circular omok.

pykipalang

kipa's first well-constructed language starting from 3-day coding.

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/

real-number-construction

real number construction in Coq. did it my way.

ckipalang

the standard kipalang, ported from pykipalang.

tex2html

LaTeX to html description transcriptor.

numbers_AI

AI for numbers from macdows 95

swf2js

swf to javascript project porter

infossm.github.io

moyobob

Eat with Moyobob!

snu-ps.github.io

SNUPS homepage

SNU_CS_M2177.004300

SWPP-e2e-setup

How to setup project that uses Angular and Django

swppgitpractice

Git practice repo for SWPP

windows-french-input

French Input

WitnessPuzzle

The Witness Puzzle Generator.