RSS 109 projects tagged "OCaml"

Download Website Updated 30 Apr 2005 C Code Analyzer

Screenshot
Pop 67.27
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

Screenshot
Pop 38.78
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

Screenshot
Pop 33.41
Vit 57.85

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

Screenshot
Pop 35.33
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 20 Jan 2014 Zero Install Injector

Screenshot
Pop 751.43
Vit 50.55

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

Screenshot
Pop 232.57
Vit 10.53

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

Screenshot
Pop 31.64
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

Screenshot
Pop 43.87
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

Screenshot
Pop 36.66
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

Screenshot
Pop 27.39
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.

Screenshot

Project Spotlight

JSONMinify

A JSON+C minifier.

Screenshot

Project Spotlight

Blender

A 3D animation studio for modeling, texturing, compositing, and video editing.