reversible-programming-language
Here are 16 public repositories matching this topic...
Sort:Most stars
A reversible language
- Updated
Sep 25, 2018 - Haskell
Collaborative work on reversible computing
- Updated
Aug 3, 2022 - TeX
Develop here a programming language of reversible combinators
- Updated
Nov 10, 2021 - Xtend
An interpreter for Janus, the reversible programming language.
- Updated
Jun 7, 2020 - Haskell
A time-and-memory-linearly reversible imperative programming language, featuring multi-threading and mono-directional data. 🚂
- Updated
Mar 27, 2020 - Python
Developing a type system for a minimal reversible functional language.
- Updated
Aug 30, 2018 - TeX
A reversible imperative programming language with support for non-reversible operations 💀
- Updated
Jul 5, 2021 - Rust
ROOPL++ to PISA Compiler
- Updated
Jan 25, 2018 - Haskell
Web interface for two reversible programming languages
- Updated
Jul 19, 2023 - Haskell
A imperative reversible programming language developed in Python.
- Updated
Aug 27, 2024 - Python
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.
- Updated
Sep 1, 2023 - Java
An experimental low-level reversible programming language aiming for a great user-experience.
- Updated
Jan 28, 2024 - Kotlin
An implementation of a reversible programming language
- Updated
Sep 13, 2022 - Haskell
Functional language for reversible and non-reversible programs
- Updated
Apr 9, 2021 - Haskell
Fun but unusable perpetually-WIP reversible programming language written in Java.
- Updated
Aug 15, 2021 - Java
Improve this page
Add a description, image, and links to thereversible-programming-language topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thereversible-programming-language topic, visit your repo's landing page and select "manage topics."