112 projects tagged "OCaml"

Download Website Updated 12 Oct 2009 APRON numerical abstract domain library

Screenshot
Pop 29.05
Vit 1.59

The APRON library is dedicated to the static analysis of the numerical variables of a program by abstract interpretation. The aim of such an analysis is to infer invariants about these variables.

Download Website Updated 31 May 2002 Active-DVI

Screenshot
Pop 39.34
Vit 1.00

Active-DVI is a DVI previewer and a programmable presenter for slides written in LaTeX. The previewer features color anti-aliasing, inclusion of images with alpha channel and blending, encapsulated Postscript file inclusion, Gpic specials to display pictures, correct treatment of many inlined-Postscript specials, page background settings, and Japanese pTeX DVI extension support. To present your DVI files, it features basic effects for presentation (pause, delay, dynamic text color change), annotations displayed on demand (similar to pop-up balloons), hyperlinks from slide to slide or to other files, replay of previously recorded parts of the display, text movements, page transitions, embedded applications, and scratching on slide to interactively modify the text on screen. Its special effects are set and launched from within your LaTeX source file via the macros of the advi.sty LaTeX package provided by the distribution. In addition, Caml hackers can program new and fancy Active-DVI effects in the source code of the presenter.

No download Website Updated 05 Aug 2012 Argot

Screenshot
Pop 15.03
Vit 2.38

Argot is a custom HTML generator for the ocamldoc tool. It supports stroked, underlined, and highlighted styles, image data inclusion, table support with captions, headers, rows, and data, token substitution, a @typevar tag for documenting type variables, @unimplemented, @todo, @todoc, @docme, @fixme, and @tofix tags for remaining work, @threadsafe and @threadunsafe tags for thread compatibility, a @stateful tag for state-based functions, and @attention, @bug, @error, @info, @new, @note, @remark, and @warning tags.

No download No website Updated 27 Apr 2014 BSD Make Pallàs Scripts

Screenshot
Pop 38.54
Vit 5.71

BSD Make Pallas Scripts is a collection of BSD Make directives that can be used to create workflows including the following activities: preparation and publication of TeX documents, development of TeX macros with NOWEB, development of OCaml software, maintenance of FreeBSD workstation configuration files, preparation of a static Web site with ONSGMLS. It has several nice advanced features, like producing METAPOST figures for TeX documents or parallel build on OCaml projects.

Download Website Updated 05 Jun 2006 Bake

Screenshot
Pop 33.41
Vit 1.43

Bake is a small domain-specific programming language for describing how to transform one file into another. It uses the typical topological sort, but has features that make describing this relatively easy. It should feel comfortable to those familiar with Javascript, Python, and make.

Download Website Updated 07 Jul 2006 Bantam

Screenshot
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 08 Mar 2013 Barista

Screenshot
Pop 57.54
Vit 7.41

Barista is a Java [dis]assembler and class file manipulation library. It is part of the OCaml-Java project.

    No download Website Updated 11 Nov 2010 Binary of Babel

    Screenshot
    Pop 47.37
    Vit 1.00

    Binary of Babel is the demo that got second place at Alternative Party 2010. It combines over 20 programming languages, including Objective-C, Vala, Scheme, and even COBOL, into one binary. It contains lots of classic demo effects such as a rotozoomer and raster bars.

    No download Website Updated 04 Nov 2012 Bisect

    Screenshot
    Pop 28.30
    Vit 4.75

    Bisect is a code coverage tool for the Objective Caml language.

    No download Website Updated 26 Oct 2012 Bolt (OCaml)

    Screenshot
    Pop 17.86
    Vit 3.97

    Bolt is a logging tool for the Objective Caml language.

    Screenshot

    Project Spotlight

    cclite

    LETS and community currency software.

    Screenshot

    Project Spotlight

    bind

    Berkeley Internet Name Domain