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.

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.

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

Make operations reversible and auditable via Oblíbený

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.

ARM Cortex-M emulator with time-travel debugging: snapshot, rewind, byte-equal replay.

REVO — Inference-Time Transformations (Research Prototype)

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

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

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

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

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

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

Logic gates and a 4-gate priority-encoder pipeline built from nothing but Newtonian point-mass gravity

LSP-1 : Architecture memcomputing full-stack bio-mimétique. Remplace le courant électronique par le transport protonique (Grotthuss) et les solitons de Davydov. Utilise la frustration géométrique du réseau de Kagome pour atteindre une efficacité proche de la réversibilité thermodynamique.