George Tisdelle's repositories
gitextensions
Git Extensions is a standalone UI tool for managing git repositories. It also integrates with Windows Explorer and Microsoft Visual Studio (2015/2017/2019).
Language:C#NOASSERTION000
Language:Lua000
shval
Pintool framework for shadow value analysis of floating-point code
Language:C++NOASSERTION000