reversible-computation
There are 6 repositories under reversible-computation topic.
- Language:Haskell 123
munich-quantum-toolkit / syrec
SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
Language:C++ 35- Language:Haskell 22
- Language:Erlang 19
mistupv / cauder-core
A Causal-Consistent Debugger for (Core) Erlang
Language:Erlang 18- Language:TeX 18
- Language:Xtend 16
An implementation of the reversible semantics for Erlang.
Language:Erlang 13- Language:Haskell 12
Techno-coder / lexica
Reversible programming language
Language:Rust 12jndean / Railway
A time-and-memory-linearly reversible imperative programming language, featuring multi-threading and mono-directional data. 🚂
Language:Python 8A tool for the transformation of an irreversible Term Rewriting System into a reversible one
Language:Prolog 8- Language:Java 5
A reversible imperative programming language with support for non-reversible operations 💀
Language:Rust 5Niklas-Deworetzki / reversible-stackmachine
Virtual machine implementation of a low-level reversible stack machine optimised for performance.
Language:C++ 4- Language:Pascal 3
- Language:Python 2
andreadlm / master-thesis
A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science.
Language:Lean 1jtkristensen / rfun-interpreter
An implementation of a reversible programming language
Language:Haskell 1omarmmh / Research-Hub
Web app for Reversible Computation community, lets researchers share findings & papers, host events, & engage in discussions with peers. With the exciting aim to expedite Quantum & Reversible Computation breakthroughs by providing a centralized hub for collaboration & knowledge sharing.
Language:Java 1syallop / PLGrammar
Describe Grammars such that they can be round-tripped between Parsing and Printing
Language:Haskell 1- Language:Haskell 1
Pair reversible partial functions for use with reversible Programs
Language:Haskell 1- Language:Erlang 1
- Language:Python 1
tjacovich / valleytronics_logic
A set of classes and libraries to Simulate Valleytronic Logic Gates and Computation
Language:C++ 1dbseitenfus / reversible-turing-machine-simulator
Este projeto é um simulador de uma Máquina de Turing Reversível. Ele executa simulações de autômatos baseados em quíntuplas, que são convertidos em quádruplas para garantir reversibilidade lógica.
Language:Python 0equational / rpfpy
multiple iterations looking for the best way to write reversible point-free python
Language:Python 0Sourabh362 / Reversible-Full-adder-in-QCA
This study shows the design and construction of reversible full adder and reversible 3bit comparator
0tarcey / aibohphobia
Fun but unusable perpetually-WIP reversible programming language written in Java.
Language:Java 0asimakiskydros / QOLE
An easy-to-use simulator for Quantum Circuits for JavaScript, based on Quantum Multiple-Valued Decision Diagrams.
Language:TypeScriptMoop-Lang / Moop-wasm
Moop Programming Language - Full L0-L5 compiler with WebAssembly support (19KB binary)
Language:C
