theseus, functional programming language with fully reversible computation
-
Updated
Jun 3, 2019 - Haskell
#
reversible-computation
Here are 7 public repositories matching this topic...
A reversible language
-
Updated
Sep 25, 2018 - Haskell
haskell functional-programming domain-specific-language reversible-programming-language linear-types reversible-computation
-
Updated
Dec 16, 2022 - Haskell
Pair reversible partial functions for use with reversible Programs
-
Updated
Dec 9, 2023 - Haskell
Describe Grammars such that they can be round-tripped between Parsing and Printing
-
Updated
Dec 9, 2023 - Haskell
A 'lispy' grammar for a Programming Language
-
Updated
Dec 9, 2023 - Haskell
An implementation of a reversible programming language
-
Updated
Sep 13, 2022 - Haskell
Improve this page
Add a description, image, and links to the reversible-computation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the reversible-computation topic, visit your repo's landing page and select "manage topics."