112 projects tagged "OCaml"

Download Website Updated 30 Apr 2005 C Code Analyzer

Pop 66.14
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.

Download No website Updated 25 Mar 2005 OMLet

Pop 37.52
Vit 2.66

OMLet is a VIm mode for OCaml. It features nice indentation which looks like the Tuareg style. It is customizable and provides folding.

No download Website Updated 24 Feb 2005 The FreerP Project

Pop 35.24
Vit 58.15

The FreerP Project is a set of integrated business intelligence applications. The main applications belonging to the FreerP Project are warehouse logistics, shipping logistics, production process control, customer relations management, e-commerce, e-business, inventory management, and accounting.

Download Website Updated 10 Oct 2006 demexp

Pop 32.68
Vit 2.91

demexp is a client/server system for direct democracies. It makes it possible to ask questions in the system, add new answers to those questions, and vote on proposed answers. The voting procedure used is Condorcet voting. Questions are classified, and a delegation system allows one's vote for certain questions to be assigned to a chosen delegate. The software is tailored to the needs of the Democratic Experience project.

Download Website Updated 26 May 2014 Zero Install Injector

Pop 768.01
Vit 317.35

Zero Install is a decentralized cross-distribution software installation system. It allows software developers to publish programs directly from their own Web sites, while supporting features familiar from centralized distribution repositories such as shared libraries, automatic updates, and digital signatures. It is intended to complement, rather than replace, the operating system's package management. 0install packages never interfere with those provided by the distribution.

Download Website Updated 03 Feb 2013 Wyrd

Pop 226.20
Vit 10.20

Wyrd is a curses front-end for Remind, a powerful calendar and alarm application. The display features a scrollable time table suitable for visualizing your schedule at a glance. Wyrd integrates with an external editor of your choice to make editing of reminder files more efficient, and provides hotkeys to quickly access the most common Remind options. Other features include extensive configurability, Mutt-like interface design, and minimal resource requirements.

Download Website Updated 15 Apr 2005 cfind

Pop 29.34
Vit 1.00

cfind (Content FINDer) provides functionality similar to that of Google Desktop on Unix, with an interface similar to that of locate.

Download Website Updated 07 Jul 2006 Bantam

Pop 43.24
Vit 2.40

Bantam is a fast, light file manager for X11. It is targeted at power users who know their way around a file system and like to use the keyboard. Its important features include single-keystroke commands as the primary mode of operation, an arbitrary number of directory views, and a configurable interface to external file viewers and editors.

No download Website Updated 23 Feb 2006 MTASC

Pop 35.50
Vit 2.56

MTASC (Motion-Twin ActionScript2 Compiler) is an ActionScript2 cross-platform compiler. It enables you to develop Flash applications for free and under any OS.

No download Website Updated 13 Jul 2005 CDuce

Pop 24.49
Vit 1.42

CDuce is a programming language adapted to writing safe and efficient applications that manipulate XML documents. A type system checks at compile time that applications deal with all the possible inputs and produce only valid outputs. Pattern matching is a powerful operation based on regular expressions to inspect documents. CDuce also features general-purpose features; it is a higher-order functional language, with a type-safe interface with Objective Caml.


Project Spotlight


LETS and community currency software.


Project Spotlight


Berkeley Internet Name Domain