RSS 2 projects tagged "OCaml"

No download Website Updated 28 Feb 2003 Synchronizing Key Server

Screenshot
Pop 47.72
Vit 1.00

SKS (Synchronizing Key Server) is a full-featured replacement for the standard PKS OpenPGP Key Server. It matches all of PKS features and interfaces, and at the same time provides a highly efficient, gossip-based replication algorithm that ensures that the replication is complete.

Download Website Updated 30 Apr 2005 C Code Analyzer

Screenshot
Pop 66.33
Vit 1.43

The C Code Analyzer (CCA) is a static analysis tool for detecting potential security problems in C source code. It's fully automatic; no code annotations or the like are required. It features an automatic user input tracer, potential buffer overflow detection, and more. An eclipse frontend plugin is included.

Screenshot

Project Spotlight

pyAggr3g470r

A news reader.

Screenshot

Project Spotlight

Vendetta Online

A multiplatform, 3D space-combat MMORPG.