Prover9-Mace4-v05B is an automated theorem prover and model searcher for first-order and equational logic. It is available for different operating systems, including Mac.
Java monitoring and troubleshooting tool that supports JDK 1.4+ and uses lightweight technologies fo
Memory Monitor is a very small, open-source system utility.
Onde ClipBuddy is a fully-featured clipboard management tool.
Clipboard manager designed by programmers for programmers.
A dashboard widget for calculating media encoding values based on presets.
Increase your productivity by accessing various resources.
Happy Chinese New Year, Free for Limited Time until Fab 10, 2013 One...
Comments