z3 by Z3Prover

The Z3 Theorem Prover

created at March 26, 2015, 6:16 p.m.

C++

181 +1

10,455 +20

1,478 +2

GitHub
SmartDeblur by Y-Vladimir

Restoration of defocused and blurred photos/images

created at June 26, 2012, 7:12 p.m.

C++

219 +0

2,342 +0

375 +0

GitHub
demovfuscator by leetonidas

A work-in-progress deobfuscator for movfuscated binaries

created at June 19, 2016, 1:46 p.m.

C++

23 +0

709 +0

54 +0

GitHub
dllinjector by OpenSecurityResearch

dll injection tool that implements various methods

created at Dec. 6, 2012, 3:54 p.m.

C++

42 +0

491 +1

113 +0

GitHub
boomerang by BoomerangDecompiler

Boomerang Decompiler - Fighting the code-rot :)

created at Jan. 25, 2013, 12:26 p.m.

C++

29 +0

377 +1

59 +0

GitHub