kyodaisuu's Stars
microsoft/MS-DOS
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
hamukazu/lets-get-arrested
This project is intended to protest against the police in Japan
gfngfn/SATySFi
A statically-typed, functional typesetting system
rcls/busy
The BIGNUM BAKEOFF was a while ago, but people still ask about this from time to time.
neozeed/MS-DOS
The original sources of MS-DOS 1.25 and 2.0, for reference purposes
aycabta/fish-number
Fish's number
p-adic/p-adic.github.io
This is the Home Page for my circle "p進大好きサークル".
koteitan/GoogolMaps2.0
Read google sheets from javascript
kyodaisuu/basmat
Bashicu matrix calculator
koteitan/hydraviewer
Javascript viewer for hydras in googology
kyodaisuu/psi
Buchholz ψ analyzer
rpakr-googology/Googology
Googology-related files.
TokusiN/GrahamsNumber
グラハム数の末尾を高速に計算するプログラム
dali99/Ackermann
Collection of Ackermanns function in multiple programming languages
koteitan/basmat-2.x
Modification of Bashicu Matrix v2.0 in C
koteitan/yaBMS
Yet another implementation of Bashicu Matrix BM4.
lambda-x-x/slide
スライドを公開して,承認欲求を満たす
Nayuta-Ito/Googology