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
What if the universe is just numbers? Every point of space holds whole numbers and follows one simple rule with its six neighbours. From this come the speed of light, clocks that run slow, a direction of time only where something is measured, and a black hole's shadow the size telescopes measured, within their error. Every step runs back exactly.
Balanced ternary integer mathematics library for python. features a class object with support for python's mathematics methods
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.
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.
Implementation of fundamental data structures (AVL tree, hash table) and algorithms. Academic coursework demonstrating CS fundamentals.
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.
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.
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.
Hashable two-link reach and integer disk clearance. Unreachable is a refusal. Empty field is absence.
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.
Symbolic integer arithmetic in quadratic integer rings
UnderwriteKit: declarative mortgage eligibility rules engine in exact integer cents/bps math with machine-readable reason trails; 0 mismatches vs an independent fraction-based oracle over 500k seeded applications. 136 tests, 100% coverage.
To associate your repository with the integer-arithmetic topic, visit your repo's landing page and select "manage topics."