Pinned Repositories
astrometrynet-cygwin-setup
Scripts to quickly install Cygwin and astrometry.net on it
collatz-tester
Try to find a counterexample of the Collatz conjecture by typing in a random positive integer
documentation-generator
A simple documentation generator
logico-philosophical
ukp
Solve the unbounded knapsack problem and its dual version
yamd
Yet another markdown alternative
math-o-matic
Computerized proof system on the web
paper
@logico-philosophical의 학부 졸업논문
typia
Super-fast/easy runtime validators and serializers via transformation
logico-philosophical's Repositories
logico-philosophical/yamd
Yet another markdown alternative
logico-philosophical/documentation-generator
A simple documentation generator
logico-philosophical/ukp
Solve the unbounded knapsack problem and its dual version
logico-philosophical/collatz-tester
Try to find a counterexample of the Collatz conjecture by typing in a random positive integer
logico-philosophical/logico-philosophical