Silq quantum programming language type checker, compiler, and experimental interpreter.

A reversible language

Collaborative work on reversible computing

Develop here a programming language of reversible combinators

An interpreter for Janus, the reversible programming language.

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

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

Developing a type system for a minimal reversible functional language.

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

ROOPL++ to PISA Compiler

Web interface for two reversible programming languages

A imperative reversible programming language developed in Python.

An implementation of a reversible programming language

Functional language for reversible and non-reversible programs

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.

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

A reversible, concurrent virtual machine and programming language.

Autonomous autopoiesis mobile run time environment(Non-Von-Neumann virtual topological logic)

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

A Fully Reversible Language - An adiabatic exploration