Explore projects

Docker file for PyMAFX: https://github.com/HongwenZhang/PyMAF-X

Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.

The Gym App For Gym Beginners

Performance and Energy consuption study on concurrent programming focused on Transactional Memory.