Clifford algebras (with nilpotents) over the field-like subclasses of combinatorial games: nimbers, surreals, surcomplex. Rust core + Python bindings.

python rust mathematics finite-fields number-theory abstract-algebra geometric-algebra combinatorial-game-theory pyo3 quadratic-forms surreal-numbers maturin clifford-algebra p-adic-numbers nimbers research-tooling witt-vectors

• Updated Jun 16, 2026
• Rust

Header-only C++20 library for arithmetic in Z2[[t]]: carry chains, formal derivatives, forward differences, Witt vectors, basis conversions, power series composition/reversion — with compile-time verified proofs

c-plus-plus constexpr template-metaprogramming power-series number-theory 2-adic c-plus-plus-20 operator-calculus witt-vectors

• Updated Jun 7, 2026
• C++