A reversible language
-
Updated
Sep 25, 2018 - Haskell
#
reversible-programming-language
Here are 16 public repositories matching this topic...
Sort: Most stars
Sort options
Collaborative work on reversible computing
category-theory quantum-computing agda reversible-programming-language reversible-computation monoidal-categories
-
Updated
Aug 3, 2022 - TeX
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
An interpreter for Janus, the reversible programming language.
-
Updated
Jun 7, 2020 - Haskell
haskell functional-programming domain-specific-language reversible-programming-language linear-types reversible-computation
-
Updated
Dec 16, 2022 - 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.
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
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
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
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
A imperative reversible programming language developed in Python.
-
Updated
Aug 27, 2024 - Python
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 the reversible-programming-language topic page so that developers can more easily learn about it.
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."