Googology Related Stuff

• Links
  • Me on Japanese Googology wiki
  • Me on English Googology wiki
• NotCollapsing
  • I
  • ℐ
• Bashicu Matrix System and Y Sequence series related
  • BMS Hydra Viewer
  • 0-Y Sequence Implementation
  • whY mountain (draws Mt.Fuji of Y sequence)
  • YNySequence (expands Y sequence)
  • MEGA-whY mountain (draws mountain of ω-Y sequence)
  • Study and Expand Sequence (expands ω-Y sequence)
Conversion algorithms
• Dimensional Y-Sequence Source (DBMS↔Y Sequence)
• BMS to 0-Y sequence converter
• SPrSS <-> Veblen
• Embedding EBOCF → EWBOCF
• Implementations of various notations, categorized by the original author
  • Kanrokoti
    • SPrSS Psi Implementation
    • HPrSS Psi Implementation
    • Kumakuma 4 Variables Psi Implementation
    • Kuma Hydra Function Implementation
    • Worm psi Function Implementation
    • 3 Variables Worm psi Function Implementation
    • TSS-Psi Function Implementation
    • Double-psi Function Implementation
    • Non-restricted 三 function Implementation
    • Weak K-psi function Implementation
    • Buchholz sequence Implementation
    • Embedded exponentiation-based psi function Implementation
    • Subspecies primitive difference sequence Implementation
    • Subspecies primitive difference psi function Implementation
    • Strong K-psi function Implementation
    • 1-var θψ function Implementation
    • Weak 2-var θψ function Implementation
    • 2-var θψ function Implementation
    • Iψ function Implementation
    • Strong 3-var ψ function Implementation
    • Stronger 3-var ψ function Implementation
    • Even Stronger 3-var ψ function Implementation
    • NAT-ψ function Implementation
    • NAW-ψ function Implementation
    • Better 3-var ψ function Implementation
    • Even Better 3-var ψ function Implementation
    • Nψ experimental function Implementation
    • Ωψ experimental function Implementation
    • Inaccessible ψ experimental function Implementation
    • Strong inaccessible ψ experimental function Implementation
    • OFP 3-var ψ Implementation
    • Inaccessible ψ function Implementation
    • Φ_1(1)ψ function Implementation
    • KBHψ function Implementation
    • KBHψ experimental function Implementation
    • Primitive prefix coded nesting Implementation
    • Worm prefix coded nesting Implementation
    • Subspecies primitive K-worm ψ function Implementation
    • Subspecies primitive P-worm ψ function Implementation
    • P-worm ψ Implementation
    • Weak x-ψ function Implementation
    • Strong 2-var θψ function Implementation
    • Weakly upgrading ψ function Implementation
    • 2-shifted ψ function Implementation
  • Jason
    • Epsilon Program (Implementation of ε関数)
  • p進大好きbot
    • Rathjen-type Ordinal Notation Implementation
    • 三 function Implementation
    • 四 function Implementation
    • Pair Sequence System → Buchholz's ordinal notation
      • Implementation
      • Trans Tabulator
  • mrna
    • Stage Array Notation Implementation
    • 降下段階配列表記 Implementation
    • 横ネスト段階配列表記 Implementation
• loader.c Bit Stream to Proof Translater
• Old googology stuff