GitHub topics: reversible-programming-language
mbudde/jana
An interpreter for Janus, the reversible programming language.
Language: Haskell - Size: 5.84 MB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 15 - Forks: 5
vikraman/2DTypes
Collaborative work on reversible computing
Language: TeX - Size: 42.3 MB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 18 - Forks: 1
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
petur-a/masters
Developing a type system for a minimal reversible functional language.
Language: TeX - Size: 1020 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 7 - 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
kztk-m/sparcl
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
Language: Haskell - Size: 356 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 1
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
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
Niklas-Deworetzki/ara
An experimental low-level reversible programming language aiming for a great user-experience.
Language: Kotlin - Size: 394 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
vadgaard/rl-srl-web
Web interface for two reversible programming languages
Language: Haskell - Size: 1.11 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
cservenka/ROOPLPPC
ROOPL++ to PISA Compiler
Language: Haskell - Size: 146 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 2
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
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
