Topic: "reversible-computation"
chessai/theseus
theseus, functional programming language with fully reversible computation
Language: Haskell - Size: 1.97 MB - Last synced at: 3 days ago - Pushed at: almost 6 years ago - Stars: 121 - Forks: 9
cda-tum/mqt-syrec
SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits
Language: C++ - Size: 1.39 MB - Last synced at: 15 days ago - Pushed at: 16 days ago - Stars: 28 - Forks: 10
TOTBWF/iso 📦
A reversible language
Language: Haskell - Size: 43 KB - Last synced at: 11 months ago - Pushed at: over 6 years ago - Stars: 23 - Forks: 0
vikraman/2DTypes
Collaborative work on reversible computing
Language: TeX - Size: 42.3 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 18 - Forks: 1
mistupv/cauder-core
A Causal-Consistent Debugger for (Core) Erlang
Language: Erlang - Size: 1.88 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 18 - Forks: 3
mistupv/cauder
A Causal-Consistent Reversible Debugger for Erlang
Language: Erlang - Size: 4.57 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 4
yarel-di/yarel
Develop here a programming language of reversible combinators
Language: Xtend - Size: 102 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 16 - Forks: 0
mistupv/rev-erlang
An implementation of the reversible semantics for Erlang.
Language: Erlang - Size: 842 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 13 - Forks: 0
Techno-coder/lexica
Reversible programming language
Language: Rust - Size: 614 KB - Last synced at: 20 days ago - Pushed at: over 5 years ago - Stars: 12 - Forks: 1
kztk-m/sparcl
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
Language: Haskell - Size: 356 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 1
mistupv/rev-rewriting
A tool for the transformation of an irreversible Term Rewriting System into a reversible one
Language: Prolog - Size: 43 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 6 - Forks: 1
CinRC/IRDC-CCSK
Java implementation of distributed reversible computation verification
Language: Java - Size: 550 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 2
jndean/Monoxide
A reversible imperative programming language with support for non-reversible operations đź’€
Language: Rust - Size: 396 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0
jndean/Railway
A time-and-memory-linearly reversible imperative programming language, featuring multi-threading and mono-directional data. đźš‚
Language: Python - Size: 700 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0
vtomole/qmc
A python framework for Hamiltonian Quantum computation
Language: Python - Size: 20.5 KB - Last synced at: 1 day ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0
qubeat/CART
Reversible cellular automata
Language: Pascal - Size: 223 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
Niklas-Deworetzki/reversible-stackmachine
Virtual machine implementation of a low-level reversible stack machine optimised for performance.
Language: C++ - Size: 257 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
andreadlm/master-thesis
A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science.
Language: Lean - Size: 194 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
syallop/PLLispy
A 'lispy' grammar for a Programming Language
Language: Haskell - Size: 131 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
syallop/PLGrammar
Describe Grammars such that they can be round-tripped between Parsing and Printing
Language: Haskell - Size: 38.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
syallop/Reversible
Pair reversible partial functions for use with reversible Programs
Language: Haskell - Size: 13.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
tamarit/reverCSP
Reversible CSP Computations
Language: Erlang - Size: 142 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 2
typeobject/wheeler
A reversible, concurrent virtual machine and programming language.
Language: Java - Size: 1 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
dbseitenfus/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 - Size: 13.7 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
Sourabh362/Reversible-Full-adder-in-QCA
This study shows the design and construction of reversible full adder and reversible 3bit comparator
Size: 6.31 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
omarmmh/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 - Size: 5.54 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
jtkristensen/rfun-interpreter
An implementation of a reversible programming language
Language: Haskell - Size: 146 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
tarcey/aibohphobia
Fun but unusable perpetually-WIP reversible programming language written in Java.
Language: Java - Size: 25.4 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
tjacovich/valleytronics_logic
A set of classes and libraries to Simulate Valleytronic Logic Gates and Computation
Language: C++ - Size: 22.3 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
