topos

A small autodiff compiler stack in Rust: record a graph, inspect it, differentiate it, compile it, emit it. The interpreter ships as the spec; everything faster must match it, bit for bit.

The stack stays small enough to read. Every result is provable. New ideas plug in at named seams; the core stays closed.

See examples/.

The name

A topos is a place — here, one where the whole compiler stack stays in view.

License

Licensed under either of MIT or Apache-2.0, at your option.