- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
A command-line utility for image processing.
Camlp4 extension to check code coverage of any OCaml code
A collection of Objective Caml libraries to support the development of concurrent, single-threaded Internet application servers.23 weekly downloads
A tool to facilitate writing and operating on fully structured, formalised data and functions. It can be used as a powerful parser, functional programming language or logic tool.1 weekly downloads
Splow is a spam mitigation solution which attempts to reduce the bandwidth available to SMTP clients suspected of distributing spam or viruses.
*** Moved to http://github.com/esumii/min-caml ***1 weekly downloads
Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.6 weekly downloads
banshee-- A toolkit for building constraint-based program analyses2 weekly downloads
charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.