A visualiser of the Bruhat-Tits tree over ℚp.

Number representation when the base is a free parameter — a machine-checked corpus on function-defined radix systems, from positional notation as algebra to the geometry and conservation laws of coupled radix networks.

Generate simple p-adic integer diagrams

Arithmetic system of 2-adic numbers in scheme language

Tuppence Programming Language

k-Nearest Neighbors Algorithm with p-adic Distance

An explicit marked profinite presentation of the absolute Galois group of Q₂: four generators, two relations, and a pro-2 wild-inertia condition, with interactive paper, two Lean 4 formalizations, and a finite-quotient verifier

Ultrametric AI — Proof of Concept: Token-level explainable attention via p-adic valuation trees and Spencer-Brown's Laws of Form

QWAV

Sage implementation of Gröbner bases over polyhedral algebras

High-performance library for deterministic ternary arithmetic, written in C++ with C Headers.

Formal and empirical investigation of the Collatz conjecture. Combines topological, combinatorial, and analytic perspectives: extension on Z₂×Z₃, backward automaton with canonical horizon, and Lyapunov drift analysis showing uniqueness of the cycle.

An absolutely new mathematical framework for analyzing the Elliptic Curve Discrete Logarithm Problem (ECDLP)

THE ROAD NOT TAKEN: A Different Kind of Physics

Tier 0 computational validation: Bruhat-Tits tree error simulation — QWAV interactive artifact A1

Quantum-Native p-Adic Neural Architecture — glass-box AI on tree topologies. QWAV artifact A2

dual-view: a unified framework for 2-adic number systems, p-adic Newton dynamics, spectral geometry, gauge theory, and classical butterfly compilation