RSS 109 projects tagged "OCaml"

Download Website Updated 08 Jun 2004 wl

Screenshot
Pop 17.15
Vit 1.00

wl is a whitelist/blacklist program for email. It reads an email, tests its headers against user-specified criteria, then writes the email back out with a new header added to specify if the email has been classified whitelisted or blacklisted.

Download No website Updated 23 Jun 2004 distjob

Screenshot
Pop 12.25
Vit 59.89

distjob is a very simple way of distributing a list of jobs on a list of hosts.

Download Website Updated 08 Aug 2007 OMake

Screenshot
Pop 232.16
Vit 4.32

OMake is a build system and scripting language with a similar style and syntax to GNU make but with many additional features, including support for large projects spanning multiple directories, default configuration files simplifying the standard compilation tasks, fast, reliable, automated, scriptable dependency analysis using MD5 digests, built-in support for defining and running autoconfiguration tests, portability, and built-in functions that provide the most common features of programs like grep, sed, and awk. It also provides active filesystem monitoring that restarts builds automatically when source files are modified. A companion command interpreter that can be used interactively is included.

Download Website Updated 12 Sep 2013 bibtex2html

Screenshot
Pop 75.82
Vit 5.63

bibtex2html is a collection of tools for translating BibTeX bibliographies to HTML. It can handle any BibTeX style (even those producing multiple bibliographies), use additional fields (like "abstract", "url", and "ps") to insert Web links, replace cross-references with links, sort on various fields, process simple (La)TeX macros, identify syntax errors in BibTeX files, and filter BibTeX entries based on a given criterion.

Download Website Updated 25 Oct 2004 COCANWIKI

Screenshot
Pop 32.71
Vit 1.00

COCANWIKI is a full-featured Wiki and content management system. It has many unique features not found in any other Wikis including live preview when editing, advanced navigation (including the ability to follow links in both directions), PIM/calendar extensions, user permissions, customisable page layouts, virtual hosting (handling more than one Wiki per server), search, anti-spam, and email notifications.

No download Website Updated 18 Jan 2006 GODI

Screenshot
Pop 28.90
Vit 1.52

GODI provides an advanced programming environment for the Objective Caml (O'Caml) language. From INRIA (who created O'Caml) you can get the O'Caml compiler and runtime system, but this is usually not enough to develop applications. You also need libraries, and there are many developers providing them. But it is a lot of work to build and install them. GODI is a system that simplifies this task: It is a framework that automatically builds the O'Caml core system, and additionally installs a growing number of pre-packaged libraries. For a number of reasons, GODI is a source-code based system, and there are no precompiled libraries, but it makes it very simple for everybody to compile them.

Download Website Updated 31 Mar 2005 ara

Screenshot
Pop 34.39
Vit 3.39

Ara is a command-line utility for querying the Debian package database. It has a query syntax allowing you to search for boolean combinations of regular expressions. It includes a simple syntax and line-editing. A graphical interface, xara, is also provided.

Download Website Updated 30 Oct 2004 mlGrace

Screenshot
Pop 26.08
Vit 1.00

mlGrace is a high-level OCaml interface to the Grace 2D plotting application. It makes extensive use of OCaml's labeled optional arguments, making the most common plotting operations quick and easy.

No download Website Updated 17 Feb 2005 Confluence System Design Language

Screenshot
Pop 58.21
Vit 1.75

Confluence is a functional programming language for reactive system design, including FPGAs, ASICs, and hard-real-time software. Confluence system descriptions have a large information to linecount ratio. It is typically two to five times more compact than Verilog. Confluence can compile a single body of source code into to Verilog, VHDL, C, and NuSMV.

No download Website Updated 09 Dec 2004 InFormal

Screenshot
Pop 30.33
Vit 1.00

InFormal provides formal verification of digital hardware. Built on the FNF open netlist standard, it creates a link between Icarus Verilog, the leading open source Verilog implementation, and NuSMV, the leading open soure model checker.

Screenshot

Project Spotlight

Gnome Partition Editor

A graphical frontend to libparted.

Screenshot

Project Spotlight

Skylable SX

A cloud storage toolkit.