Projects in Awesome Lists tagged with reversible-programming-language
A curated list of projects in awesome lists tagged with reversible-programming-language .
https://github.com/vikraman/2dtypes
Collaborative work on reversible computing
agda category-theory monoidal-categories quantum-computing reversible-computation reversible-programming-language
Last synced: 01 Mar 2026
https://github.com/mbudde/jana
An interpreter for Janus, the reversible programming language.
interpreter janus programming-language reversible-programming-language
Last synced: 07 Sep 2025
https://github.com/kztk-m/sparcl
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
domain-specific-language functional-programming haskell linear-types reversible-computation reversible-programming-language
Last synced: 03 Dec 2025
