Primitive family

Axiom One primitives

Three independent building blocks for bounded embedded work: a broad deterministic module library, table-free data placement, and heap-free traversal of implicit constrained spaces.

Small primitives, explicit boundaries

This family is intentionally not a framework. Each component solves one narrow problem with deterministic behaviour, caller-owned state and no hidden allocation. They can stand alone in firmware where memory, timing and integration boundaries matter.

Axiom One

A dependency-free C99 static library of 22 focused deterministic primitives. Its ONE modules keep state with the caller, use no heap, timers, callbacks or I/O, and expose a plain C API that can be included as one umbrella header or as narrow module headers.

Development · C99 · MITOpen project

GrayGyre

An allocation-free, table-free C primitive maps indices with a self-inverse Gray-code shear, spreading local neighbours across configured logical cells while retaining an exact inverse through the same mapping call.

Development · C99 · MITOpen project

SkipSpace

A heap-free traversal primitive represents each prefix with compact sufficient state, counts valid continuations using bounded saturating arithmetic, and lets the caller visit or skip an entire subtree without materialising the search tree.

Development · C99 · MITOpen project

How the pieces differ

Axiom One
22 general-purpose C99 primitives for scheduling, signal conditioning, protocol state and fixed-capacity containers.
GrayGyre
A self-inverse Gray-code placement transform that spreads neighbouring indices across logical cells.
SkipSpace
A sufficient-state traversal core that counts and skips subtrees without constructing the search tree.