Sparcl
Programming with partial invertibility.
Sparcl (a system for partially-reversible computation with linear types) is a higher-order linear-typed programming language to write invertible computation, leveraging partial invertibility.
This page has been moved to https://bx-lang.github.io/EXHIBIT/work.html. Redirecting in 10 seconds.
Systems
HOBiT
A Bidirectional ML
HOBiT is a higher-order bidirectional programming language that supports point-wise description of bidirectional transformations.
FliPpr
Generate parsers from grammars with inputs—i.e., printers
FliPpr is a system for generating parsers from pretty-printers, with guarantee that pretty-printed strings are always parsed correctly.
App-Lens
A Library for applicative bidirectional programming.
App-lens is a library for Haskell that enables bidirectional programming in an applicative (or, point-wise) style.