reversible-computing

MQT SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits

A language for safe, universal spatiotemporal composability (Cordis paradigm) and orchestration.

The Interactive Reversible Debugger (IRD) is an open-source debugging tool that enables step-by-step reversible execution of programs. Unlike traditional debuggers, IRD allows users to move both forwards and backwards in execution, making it easier to track state changes, debug complex logic, and analyze algorithm behavior

Moop Embedded Runtime - Quantum-ready substrate (40KB, no GC, 1M ops/sec)

Multi-prover formal verification of Certified Null Operations (CNO: programs provably computing nothing) and Observational Null Disclosure (OND: programs provably revealing nothing). Two co-equal, logically independent pillars verified across Coq, Lean 4, and Agda, with axiom counts and out-of-scope residue lists honestly surfaced.

Make operations reversible and auditable via Oblíbený

Rewind — Premier SDK de calcul nativement reversible pour Rust. Debugger temporel, portes Toffoli, types lineaires. Information is Sacred.

Energy-aware synthesis for adiabatic and reversible logic. Netlist in, verified circuit out, with the energy accounted for rather than asserted.

REVO — Inference-Time Transformations (Research Prototype)

A puzzle game about ballistic asynchronous reversible computing in superconductors (BARCS) — route fluxons through reversible circuit elements, played on the actual physics. 25 levels + sandbox.

Executable Kotlin models of catalytic-computation constructions, with deterministic oracle and exact tape-restoration tests.

Energy-efficient AI architecture optimization through thermodynamic analysis and causal derivation

Playable Rust experiment in reversible 3D Pong: paddle contact reverses execution while an invertible momentum update changes the trajectory without storing prior-state snapshots.

KELVIN K0: an integer XY medium held in its Kosterlitz phase, on CUDA, with the battery of oracles and lie arms that can falsify it

A point-free reversible programming language interpreted in Rel, and Q42, the same language over the complex numbers

An out-of-tree MLIR dialect for HSSA, a reversible-computing IR: import, check linearity, invert, and lower to LLVM.

Measurements on the ECDSA.fail benchmark, the leanest known reversible circuit for secp256k1 point addition: the search cost the score does not count. The circuit is the community's; the instruments are mine, including a validated 9.2x checker and a classical pre-filter. Three findings filed upstream. Built with help from Claude Code.

NOOPgOLD: NEveryThing Organizing Optimizing Protocol geNERATING OLD into gOLD. The Ruliad-NOOP convergence, witness positioning, People’s Cloud, CH341A firmware liberation, WItsWAlkErWOrld.

Rainbow Array Machine — UTF-8 emoji source, typed FLAT IR, WebAssembly execution, skull/crown serialization, Cold Boot provenance.

An open arena where AI agents discover cheaper quantum circuits: write a circuit-building program, get it verified exactly and scored by Toffolis x qubits. Open evaluator for arXiv:2610.22367.