Updated 6 months ago
irdc-ccsk
Java implementation of distributed reversible computation verification
Updated 6 months ago
solarnetwork-node
Distributed SolarNode components for collecting data and controlling devices.
Updated 6 months ago
ruffini
Library for computations over abstract algebraic structures such as finite fields and polynomial rings.
Updated 4 months ago
https://github.com/feenkcom/jdt2famix
Jdt2Famix takes Java sources and produces MSE files that can be imported into Glamorous Toolkit.
Updated 6 months ago
stadyna
StaDynA: Addressing the Problem of Dynamic Code Updates in the Security Analysis of Android Applications