veblen function in agda
-
Updated
Jun 24, 2024 - Agda
#
googology
Here are 18 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
Python implementations of a variety of extremely fast-growing functions
-
Updated
Oct 25, 2022 - Python
formalized googology in agda
-
Updated
May 16, 2026 - CSS
GoogolSharp is an arbitrary‐range numeric type for representing extremely large or small values using symbolic googology‐inspired scaling — not an arbitrary‐precision number type.
library googol csharp math advanced mathematics number maths useful numerical-methods csharp-library googology largenumbers googolplex googolplexian
-
Updated
Jun 9, 2026 - C#
Yet another implementation of Bashicu Matrix BM4.
-
Updated
Jan 10, 2026 - JavaScript
Rust CLI for exploring Harvey Friedman's TREE(3), Kruskal tree theorem sequences, homeomorphic tree embeddings, and SVG visualizations.
visualization svg search rust cli mathematics graph-theory combinatorics rooted-trees googology tree3 tree-function kruskal-tree-theorem homeomorphic-embedding
-
Updated
May 11, 2026 - Rust
A high-precision and high-performance large number system capable of handling numbers up to 10^^(1e50) and beyond with customization
-
Updated
Mar 14, 2025 - JavaScript
Утилита шифрования файлов с гугологическими примитивами. Экспериментальный криптографический арт-проект.
-
Updated
Jun 9, 2026 - Rust
-
Updated
Jun 12, 2026
A page for converting between different notations found in BEA
-
Updated
Aug 18, 2022 - JavaScript
Analyze googological notations by their tree structures.
-
Updated
Jun 22, 2021 - Elm
C++ calculator designed to go beyond standard limits. Current stable version handles precise classic math, while the experimental branch explores Googology—implementing Knuth's up-arrows and fast-growing hierarchies to reach numbers like Graham's. A student project focused on overcoming overflow issues and mastering complex logic. Work in progress.
-
Updated
May 31, 2026 - C++
A Googology system employs the use of factorial-like notation
-
Updated
Aug 15, 2021 - HTML
Oh wow isn't it another legacy version. This one never even got released!
-
Updated
Feb 19, 2026 - TypeScript
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."