Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with reversible-computation

A curated list of projects in awesome lists tagged with reversible-computation .

https://github.com/chessai/theseus

theseus, functional programming language with fully reversible computation

functional-programming programming-language reversible-computation theseus

Last synced: 17 Mar 2025

https://github.com/munich-quantum-toolkit/syrec

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

cpp17 python quantum-computing reversible-computation synthesis

Last synced: 16 May 2025

https://github.com/cda-tum/mqt-syrec

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

cpp17 python quantum-computing reversible-computation synthesis

Last synced: 09 Apr 2025

https://github.com/kztk-m/sparcl

Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/

domain-specific-language functional-programming haskell linear-types reversible-computation reversible-programming-language

Last synced: 03 Dec 2025

https://github.com/cinrc/irdc-ccsk

Java implementation of distributed reversible computation verification

calculus-of-communicating-systems ccsk java process-algebra reversible-computation

Last synced: 03 May 2025

https://github.com/vtomole/qmc

A python framework for Hamiltonian Quantum computation

quantum-computing reversible-computation

Last synced: 13 Mar 2026

https://github.com/andreadlm/master-thesis

A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science.

lean lean4 programming-languages reversible-computation

Last synced: 31 Jan 2026

https://github.com/tjacovich/valleytronics_logic

A set of classes and libraries to Simulate Valleytronic Logic Gates and Computation

logic logic-circuit logic-circuit-simulator logic-gates reversible-computation simulator valleytronics

Last synced: 29 Apr 2026