285 projects tagged "Mac OS X"
Updated 24 Apr 2006
ComicReader
| Pop | 26.80 |
|---|---|
| Vit | 1.42 |
The ComicReader is a program to read daily comics like Garfield, Dilbert, Userfriendly, and lots of other daily comics. It has unique features like automatic downloading of the comics, centrally managed comic definitions, and the option to email comics.
Updated 24 Apr 2006
GIMP cursor brushes
| Pop | 32.45 |
|---|---|
| Vit | 1.00 |
GIMP cursor brushes is a set of (50) brushes for use in the GIMP, created from assorted cursors.
Updated 09 Apr 2006
deletemail
| Pop | 39.80 |
|---|---|
| Vit | 2.44 |
Deletemail is a non-interactive tool for removing mail from one or more IMAP4 mailboxes. It removes mail older than a configurable number of days, and by default does not remove mail that is not marked as seen on the server.
Updated 03 Apr 2006
WinSwitch
| Pop | 26.72 |
|---|---|
| Vit | 3.58 |
WinSwitch is a compact replacement for Apple's Fast User Switching menu on Mac OS X 10.3 that saves menu bar space by allowing you to show an icon, custom user picture, or short username instead of the full username, while faithfully replicating and improving the other features of Apple's menu.
Updated 21 Mar 2006
Isabelle
| Pop | 78.45 |
|---|---|
| Vit | 3.25 |
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
Updated 01 Mar 2006
Prebuild
| Pop | 17.09 |
|---|---|
| Vit | 1.00 |
Prebuild is a cross-platform XML-driven pre-build tool which allows developers to easily generate project or make files for major IDEs and .NET development tools including: Visual Studio .NET 2002, 2003, 2005, SharpDevelop, MonoDevelop, and NAnt.
Updated 08 Feb 2006
MobiLog!
| Pop | 20.49 |
|---|---|
| Vit | 1.00 |
MobiLog! is a powerful standalone blogging tool that allows you to update a mobile weblog ("moblog") remotely using any email-capable device, such as a cellular phone. You can even send images from your camera phone and have them automatically posted to your Web site. Additional features include Atom syndication format support, automatic thumbnail creation, a browsable entry archive, password protection for entry submission, and much more. The appearance of MobiLog! can be customized easily.
Updated 15 Jan 2006
SkypeMenuX
| Pop | 37.75 |
|---|---|
| Vit | 2.03 |
SkypeMenuX provides a Mac OS X System Extra menu for Skype. This menu allows you to view and change your Skype user status and launch or quit Skype.
Updated 04 Jan 2006
mod_athena
| Pop | 24.19 |
|---|---|
| Vit | 1.00 |
mod_athena is an Apache-based application load balancer for large systems. It allows the HTTP server to act as a load balancer either internally to Apache's own mod_proxy (for reverse proxying), or externally to machines querying it. Arbitrary statistics are sent to the engine via a simple GET plus query-string interface, from which it will then make decisions based on chosen algorithms.
Updated 03 Jan 2006
Staden Package
| Pop | 43.79 |
|---|---|
| Vit | 1.92 |
The Staden Package is a set of interactive tools for DNA sequence assembly and editing, as well as DNA and protein sequence analysis, the best known of which is "gap4".
