This repository containts the pytorch scripts to train mixed-precision networks for microcontroller deployment, based on the memory contraints of the target device.
This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.
A chess model written in Python
Bit-exact, cross-hardware deterministic matrix multiplication using Q16.16 fixed-point arithmetic and SHA-256 verification. Provides identical AI inference results across NVIDIA GPUs, CPUs, and OSs. Essential for ZK-ML, Fintech, and AI Safety. Includes a PyTorch drop-in replacement, API and GPT-2 demo.
Integer Squaring Algorithm
Balanced ternary integer mathematics library for python. features a class object with support for python's mathematics methods
SYMBIT — True Jacobian, Omega Reversible: Integer Symplectic Conservation. Exact, reversible, integer-native census computation, sealed and verified. Author: Hans Lee Simmons. Deposit: DOI 10.5281/zenodo.24122440
Study bitwise reproducibility with experimental integer Llama inference, weight-free CPU checks and scoped device reports.
PolicyForge: integer-cents P&C rating engine with hand-computed golden quotes, claims settlement math holding 3 payout invariants across 300k randomized cases, and a book re-rate tool. 109 tests, 99% coverage.
Prototype SISO SpaceFOM (SISO-STD-018-2020) federate publishing an integer-state orbital simulator over HLA, with a replay verifier for checking bit-identical results across platforms.
H-matrices with integer arithmetic
SettleCore: custody T+1 settlement engine with DvP over double-entry integer-cent ledgers, plus reconciliation proving 0 diffs to the cent over 500k trades and exact classification of injected breaks. 99 tests, 98% coverage.
Implementation of fundamental data structures (AVL tree, hash table) and algorithms. Academic coursework demonstrating CS fundamentals.
Hashable two-link reach and integer disk clearance. Unreachable is a refusal. Empty field is absence.
TaxGrid: sales and use tax determination engine (layered jurisdictions, effective dating, exemption certificates, penny-exact rounding) with 0 oracle mismatches across 1M invoice lines and a FastAPI service at 1.07 ms p50. 88 tests, 100% coverage.
Integer-only (INT8) and binary neural network training from scratch on a consumer GPU without tensor cores (GTX 1650). Custom CUDA kernels, bit-exact against an int64 spec, 3.84x faster than PyTorch fp32. Includes honest negative results: long-run INT8 instability (residual absorption) and the limits of binary nets without STE.
Q-SETUN: Brusentsov Balanced Ternary Signal Core with Cellular Apoptosis — Zero-FLOP integer-only Edge AI for microcontrollers (ESP32 / STM32 / AVR). 1.0 µs latency, 192 bytes RAM, 0 bytes malloc.
TokenGate: payment-token lifecycle and spend-controls authorization engine; differential oracle verified 0 mismatches across 997k seeded authorizations, 712k decisions/sec with p99 2.3us latency. 64 tests, 97% coverage.
An exact-integer periodic neighbor-list library for synthetic particle experiments, with minimum-image distances, conservative skin-based rebuilds and failure-atomic frame updates checked against an all-pairs oracle.
To associate your repository with the integer-arithmetic topic, visit your repo's landing page and select "manage topics."