MQT SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
-
Updated
Nov 2, 2026 - C++
#
reversible-computing
Here are 33 public repositories matching this topic...
A language for safe, universal spatiotemporal composability (Cordis paradigm) and orchestration.
programming-language distributed-systems compiler mcp webassembly self-hosted transpiler type-system formal-verification ai-safety ai-agents cordis effect-system prompt-injection model-context-protocol reversible-computing self-evolution capability-based-security jev
-
Updated
Nov 5, 2026 - Python
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
-
Updated
Jul 1, 2026 - TypeScript
Moop Embedded Runtime - Quantum-ready substrate (40KB, no GC, 1M ops/sec)
-
Updated
Oct 30, 2025 - C
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.
open-source coq theorem-proving agda formal-verification proof-engineering lean4 rocq-prover reversible-computing hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance certified-null-operations observational-null-disclosure multi-prover-verification
-
Updated
Nov 1, 2026 - Rocq Prover
Rewind — Premier SDK de calcul nativement reversible pour Rust. Debugger temporel, portes Toffoli, types lineaires. Information is Sacred.
rust debugging open-source sdk quantum-computing proc-macro linear-types zero-overhead energy-efficient garbage-free toffoli reversible-computing time-travel-debugging landauer bennett-algorithm
-
Updated
Apr 6, 2026 - Rust
Make operations reversible and auditable via Oblíbený
rust open-source zig code-generation audit-trail research-software idris2 reversible-computing hyperpolymath epistemic-infrastructure iser epistemic-computing veridical-computing equivalence-aware-computing typed-provenance verified-ffi proof-carrying-abi abi-verification
-
Updated
Oct 31, 2026 - Rust
Energy-aware synthesis for adiabatic and reversible logic. Netlist in, verified circuit out, with the energy accounted for rather than asserted.
-
Updated
Aug 28, 2026 - Python
REVO — Inference-Time Transformations (Research Prototype)
deep-learning inference transformer lora quantization model-compression llm-inference reversible-computing
-
Updated
Jun 4, 2026 - Python
Executable Kotlin models of catalytic-computation constructions, with deterministic oracle and exact tape-restoration tests.
-
Updated
Jul 30, 2026 - Kotlin
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.
javascript physics puzzle-game barc sfq reversible-computing superconducting-computing abrc barcs fluxons ballistic-computing superconducting-electronics superconducting-flux-quanta flux-solitons billiard-ball-model collision-based-computing
-
Updated
Jul 5, 2026 - JavaScript
Playable Rust experiment in reversible 3D Pong: paddle contact reverses execution while an invertible momentum update changes the trajectory without storing prior-state snapshots.
rust interpreter dynamics pong game-development time-reversal tensor undo physics-simulation no-dependencies terminal-game toy-project integer-arithmetic 3d-game game-physics deterministic-simulation program-transformation interactive-simulation reversible-computing reversible-simulation
-
Updated
Oct 31, 2026 - Shell
Energy-efficient AI architecture optimization through thermodynamic analysis and causal derivation
python machine-learning deep-learning physics thermodynamics neural-networks neuromorphic energy-efficiency hardware-optimization causal-reasoning reversible-computing landauer-principle ai-computation
-
Updated
Jul 2, 2026 - Python
An out-of-tree MLIR dialect for HSSA, a reversible-computing IR: import, check linearity, invert, and lower to LLVM.
-
Updated
Oct 14, 2026 - C++
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
-
Updated
Sep 25, 2026 - Cuda
A point-free reversible programming language interpreted in Rel, and Q42, the same language over the complex numbers
programming-language interpreter category-theory quantum-computing openqasm reversible-computing dagger-category
-
Updated
Oct 31, 2026 - Python
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.
benchmark quantum-computing quantum-circuits llm ai-for-science toffoli reversible-computing algorithm-discovery alphaevolve
-
Updated
Oct 26, 2026 - Python
Rainbow Array Machine — UTF-8 emoji source, typed FLAT IR, WebAssembly execution, skull/crown serialization, Cold Boot provenance.
compiler webassembly wasm wolfram provenance k lean apl c11 cold-boot mathlib array-programming bqn reversible-computing typed-ir rainbow-array-machine emoji-programming flat-ir skull-crown
-
Updated
Nov 5, 2026 - C
NOOPgOLD: NEveryThing Organizing Optimizing Protocol geNERATING OLD into gOLD. The Ruliad-NOOP convergence, witness positioning, People’s Cloud, CH341A firmware liberation, WItsWAlkErWOrld.
wolfram quantum-computing maya noop intel-me consciousness peoples-cloud ch341a observer-effect josephson-junctions firmware-security rocky-linux me-cleaner ruliad reversible-computing cpt-symmetry open-weights edge3 dia-logos witness-positioning
-
Updated
Jun 17, 2026 - HTML
A reversible 4-bit Fibonacci circuit implemented in Qiskit.
-
Updated
Aug 16, 2026 - Python
Add this topic to your repo
To associate your repository with the reversible-computing topic, visit your repo's landing page and select "manage topics."