System Managment Technologies, Inc.
3
Shareware
Database ManagER is a SQL Server database management utilit.
Shadow Mountain Tech
4
Freeware
Lets you see window information including the window handle.
Microsoft Research
Freeware
Dminor is a first-order functional language with the novel combination.
Spb Software House
Das leistungsf.
Microsoft Research
Freeware
Z3 is an SMT solver that combines several theory solvers.
