kyodaisuu

Fish's starred repositories

busy

The BIGNUM BAKEOFF was a while ago, but people still ask about this from time to time.

Language:C++NOASSERTION2900

p-adic.github.io

This is the Home Page for my circle "p進大好きサークル".

Language:HTML500

psi

Buchholz ψ analyzer

Language:PythonMIT300

GoogolMaps2.0

Read google sheets from javascript

Language:JavaScript400

slide

スライドを公開して，承認欲求を満たす

Language:TeX200

lets-get-arrested

This project is intended to protest against the police in Japan

Language:HTML413700

SATySFi

A statically-typed, functional typesetting system

Language:OCamlLGPL-3.0116200

Googology

Language:Ruby200

Googology

Googology-related files.

Language:C++300

MS-DOS

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

Language:AssemblyMIT3050800

MS-DOS

The original sources of MS-DOS 1.25 and 2.0, for reference purposes

Language:AssemblyNOASSERTION1000

yaBMS

Yet another implementation of Bashicu Matrix BM4.

Language:CMIT200

basmat

Bashicu matrix calculator

Language:CGPL-3.0400

hydraviewer

Javascript viewer for hydras in googology

Language:JavaScriptMIT300

Ackermann

Collection of Ackermanns function in multiple programming languages

Language:JavaMIT200

GrahamsNumber

グラハム数の末尾を高速に計算するプログラム

Language:C++GPL-3.0300

basmat-2.x

Modification of Bashicu Matrix v2.0 in C

Language:CGPL-3.0200

fish-number

Fish's number

Language:Ruby700