-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
131 lines (131 loc) · 8.72 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="description" content="The list of my googology-related pages uploaded to GitHub">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Googology Related Stuff</title>
<style>
* {
font-family:"Verdana",sans-serif;
}
</style>
<body>
<h1>Googology Related Stuff</h1>
<ul>
<li>Links
<ul>
<li><a href="https://googology.wikia.org/ja/wiki/User:Naruyoko">Me on Japanese Googology wiki</a></li>
<li><a href="https://googology.wikia.org/wiki/User:Naruyoko">Me on English Googology wiki</a></li>
</ul>
</li>
<li>NotCollapsing
<ul>
<li><a href="./NotCollapsing/I.html">I</a></li>
<li><a href="./NotCollapsing/II.html">ℐ</a></li>
</ul>
</li>
<li>Bashicu Matrix System and Y Sequence series related
<ul>
<li><a href="../BMSHydraViewer">BMS Hydra Viewer</a></li>
<li><a href="./0-Y/implementation.html">0-Y Sequence Implementation</a></li>
<li><a href="../whYmountain/">whY mountain (draws Mt.Fuji of Y sequence)</a></li>
<li><a href="../YNySequence/">YNySequence (expands Y sequence)</a></li>
<li><a href="../MEGAwhYmountain/">MEGA-whY mountain (draws mountain of ω-Y sequence)</a></li>
<li><a href="../StudyAndExpandSequence/">Study and Expand Sequence (expands ω-Y sequence)</a></li>
</ul>
</li>
<div class="li">
Conversion algorithms
<ul>
<li><a href="../DimensionalYSequenceSource">Dimensional Y-Sequence Source (DBMS↔Y Sequence)</a></li>
<li><a href="./BMS-vs-0Y/convert.html">BMS to 0-Y sequence converter</a></li>
<li><a href="../sprss-vs-veblen/">SPrSS <-> Veblen</a></li>
<li><a href="./EBOCF-vs-EWBOCF/ebocf2ewbocf.html">Embedding EBOCF → EWBOCF</a></li>
</ul>
</div>
<li>Implementations of various notations, categorized by the original author
<ul>
<li>Kanrokoti
<ul>
<li><a href="./SPrSSPsi/implementation.html">SPrSS Psi Implementation</a></li>
<li><a href="./HPrSSPsi/implementation.html">HPrSS Psi Implementation</a></li>
<li><a href="./kuma4varPsi/implementation.html">Kumakuma 4 Variables Psi Implementation</a></li>
<li><a href="./kumaHydra/implementation.html">Kuma Hydra Function Implementation</a></li>
<li><a href="./wormPsi/implementation.html">Worm psi Function Implementation</a></li>
<li><a href="./3varWormPsi/implementation.html">3 Variables Worm psi Function Implementation</a></li>
<li><a href="./TSSPsi/implementation.html">TSS-Psi Function Implementation</a></li>
<li><a href="./doublePsi/implementation.html">Double-psi Function Implementation</a></li>
<li><a href="./nonRestrictedThree/implementation.html">Non-restricted 三 function Implementation</a></li>
<li><a href="./weakKPsi/implementation.html">Weak K-psi function Implementation</a></li>
<li><a href="./buchholzSeq/implementation.html">Buchholz sequence Implementation</a></li>
<li><a href="./embedExpPsi/implementation.html">Embedded exponentiation-based psi function Implementation</a></li>
<li><a href="./SPrDSS/implementation.html">Subspecies primitive difference sequence Implementation</a></li>
<li><a href="./SPrDPsi/implementation.html">Subspecies primitive difference psi function Implementation</a></li>
<li><a href="./strongKPsi/implementation.html">Strong K-psi function Implementation</a></li>
<li><a href="./1varThetaPsi/implementation.html">1-var θψ function Implementation</a></li>
<li><a href="./weak2varThetaPsi/implementation.html">Weak 2-var θψ function Implementation</a></li>
<li><a href="./2varThetaPsi/implementation.html">2-var θψ function Implementation</a></li>
<li><a href="./IPsi/implementation.html">Iψ function Implementation</a></li>
<li><a href="./strong3varPsi/implementation.html">Strong 3-var ψ function Implementation</a></li>
<li><a href="./stronger3varPsi/implementation.html">Stronger 3-var ψ function Implementation</a></li>
<li><a href="./evenStronger3varPsi/implementation.html">Even Stronger 3-var ψ function Implementation</a></li>
<li><a href="./NATPsi/implementation.html">NAT-ψ function Implementation</a></li>
<li><a href="./NAWPsi/implementation.html">NAW-ψ function Implementation</a></li>
<li><a href="./better3varPsi/implementation.html">Better 3-var ψ function Implementation</a></li>
<li><a href="./evenBetter3varPsi/implementation.html">Even Better 3-var ψ function Implementation</a></li>
<li><a href="./NPsiExperimental/implementation.html">Nψ experimental function Implementation</a></li>
<li><a href="./omegaPsiExperimental/implementation.html">Ωψ experimental function Implementation</a></li>
<li><a href="./inaccessiblePsiExperimental/implementation.html">Inaccessible ψ experimental function Implementation</a></li>
<li><a href="./strongInaccessiblePsiExperimental/implementation.html">Strong inaccessible ψ experimental function Implementation</a></li>
<li><a href="./OFP3varPsi/implementation.html">OFP 3-var ψ Implementation</a></li>
<li><a href="./kanrokotiInaccessiblePsi/implementation.html">Inaccessible ψ function Implementation</a></li>
<li><a href="./largePhi11Psi/implementation.html">Φ_1(1)ψ function Implementation</a></li>
<li><a href="./KBHPsi/implementation.html">KBHψ function Implementation</a></li>
<li><a href="./KBHPsiExperimental/implementation.html">KBHψ experimental function Implementation</a></li>
<li><a href="./PPCN/implementation.html">Primitive prefix coded nesting Implementation</a></li>
<li><a href="./WPCN/implementation.html">Worm prefix coded nesting Implementation</a></li>
<li><a href="./SPrSSKWPsi/implementation.html">Subspecies primitive K-worm ψ function Implementation</a></li>
<li><a href="./SPrSSPWPsi/implementation.html">Subspecies primitive P-worm ψ function Implementation</a></li>
<li><a href="./PWormPsi/implementation.html">P-worm ψ Implementation</a></li>
<li><a href="./weakXPsi/implementation.html">Weak x-ψ function Implementation</a></li>
<li><a href="./strong2varThetaPsi/implementation.html">Strong 2-var θψ function Implementation</a></li>
<li><a href="./weaklyUpgradingPsi/implementation.html">Weakly upgrading ψ function Implementation</a></li>
<li><a href="./2ShiftedPsi/implementation.html">2-shifted ψ function Implementation</a></li>
<li><a href="./upgradingPsi/implementation.html">Upgrading ψ function Implementation</a></li>
<li><a href="./2ShiftedOmegaPsi/implementation.html">2-shifted Ωψ function Implementation</a></li>
</ul>
</li>
<li>Jason
<ul>
<li><a href="../EpsilonProgram">Epsilon Program (Implementation of ε関数)</a></li>
</ul>
</li>
<li>p進大好きbot
<ul>
<li><a href="./padicBotRathjen/implementation.html">Rathjen-type Ordinal Notation Implementation</a></li>
<li><a href="./threeFunction/implementation.html">三 function Implementation</a></li>
<li><a href="./fourFunction/implementation.html">四 function Implementation</a></li>
<li>Pair Sequence System → Buchholz's ordinal notation
<ul>
<li><a href="./pss-vs-buchholz/implementation.html">Implementation</a></li>
<li><a href="./pss-vs-buchholz/transTabulator.html">Trans Tabulator</a></li>
</ul>
</li>
</ul>
</li>
<li>mrna
<ul>
<li><a href="./stageArrayNotation/implementation.html">Stage Array Notation Implementation</a></li>
<li><a href="./descendingStageArrayNotation/implementation.html">降下段階配列表記 Implementation</a></li>
<li><a href="./sideNestingStageArrayNotation/implementation.html">横ネスト段階配列表記 Implementation</a></li>
</ul>
</li>
</ul>
</li>
<li><a href="./loaderBitStreamTranslater">loader.c Bit Stream to Proof Translater</a></li>
<li><a href="../website/googology/">Old googology stuff</a></li>
</ul>
<div>Last updated: 2024/05/16</div>
</body>
</html>