#

reversible-programming-language

Here are 15 public repositories matching this topic...

TOTBWF / iso

A reversible language

language isomorphism reversible-programming-language reversible-computation

Updated Sep 25, 2018
Haskell

yarel-di / yarel

Develop here a programming language of reversible combinators

language programming-language functional-programming reversible-programming-language reversible-computation revesible yarel

Updated Nov 10, 2021
Xtend

vikraman / 2DTypes

Collaborative work on reversible computing

category-theory quantum-computing agda reversible-programming-language reversible-computation monoidal-categories

Updated Aug 3, 2022
TeX

mbudde / jana

An interpreter for Janus, the reversible programming language.

programming-language interpreter janus reversible-programming-language

Updated Jun 7, 2020
Haskell

kztk-m / sparcl

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

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

Updated Dec 16, 2022
Haskell

petur-a / masters

Developing a type system for a minimal reversible functional language.

functional-programming master-thesis semantics type-theory reversible-programming-language diku operational-semantics type-classes program-transformations linear-logic first-match-policy

Updated Aug 30, 2018
TeX

cservenka / ROOPLPPC

ROOPL++ to PISA Compiler

compiler reversible-programming-language pisa object-oriented-programming

Updated Jan 25, 2018
Haskell

jndean / Railway

A time-and-memory-linearly reversible imperative programming language, featuring multi-threading and mono-directional data. 🚂

programming-language reversible-programming-language reversible-computation

Updated Mar 27, 2020
Python

jndean / Monoxide

A reversible imperative programming language with support for non-reversible operations 💀

programming-language reversible-programming-language reversible-computation

Updated Jul 5, 2021
Rust

vadgaard / rl-srl-web

Web interface for two reversible programming languages

language programming-language haskell interpreter reversible-programming-language

Updated Jul 19, 2023
Haskell

stefanbohne / reversible

Functional language for reversible and non-reversible programs

functional reversible reversible-programming-language

Updated Apr 9, 2021
Haskell

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.

testing spring-boot quantum-computing reversible-programming-language research-and-development webapplication reversible-computation

Updated Sep 1, 2023
Java

jtkristensen / rfun-interpreter

An implementation of a reversible programming language

functional-language reversible-programming-language reversible-computation

Updated Sep 13, 2022
Haskell

Niklas-Deworetzki / ara

An experimental low-level reversible programming language aiming for a great user-experience.

reversible-programming-language low-level-programming

Updated Jan 28, 2024
Kotlin

tarcey / aibohphobia

Fun but unusable perpetually-WIP reversible programming language written in Java.

java programming-language reversible-programming-language reversible-computation

Updated Aug 15, 2021
Java

Improve this page

Add a description, image, and links to the reversible-programming-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the reversible-programming-language topic, visit your repo's landing page and select "manage topics."