GitHub repository: peterbro1/IRDC-CCSK
Primary language: Java
Description: Java implementation of distributed reversible computation verification