veblen function in agda
-
Updated
Jun 24, 2024 - Agda
#
googology
Here are 10 public repositories matching this topic...
Yet another implementation of Bashicu Matrix BM4.
-
Updated
Apr 12, 2021 - C
A high-precision and high-performance large number system capable of handling numbers up to 10^^(1e50) and beyond with customization
-
Updated
Sep 27, 2024 - JavaScript
formalized googology in agda
-
Updated
Oct 29, 2024 - CSS
Python implementations of a variety of extremely fast-growing functions
-
Updated
Oct 25, 2022 - Python
Analyze googological notations by their tree structures.
-
Updated
Jun 22, 2021 - Elm
A website for converting between the 9 notations found in alemaninc's games
-
Updated
Aug 18, 2022 - JavaScript
A Googology system employs the use of factorial-like notation
-
Updated
Aug 15, 2021 - HTML
Improve this page
Add a description, image, and links to the googology topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the googology topic, visit your repo's landing page and select "manage topics."