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.
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach allows static analyzers to build upon the results already computed by other analyzers in the framework. It provides sophisticated tools, such as a slicer and dependency analysis.
GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0, and 2.1, plus extensions. It is intended as a compact drop-in binding. It is a direct, dynamic binding to OpenGL. An OCaml SDL binding is provided as well, along with texture-map scaling functions, texture mip-map generators, and a bitmapped font library. Extensive documentation and more than 20 examples are provided.
OCaml Batteries Included serves the following purposes: define a standard set of libraries that may be expected on every compliant installation of OCaml, organize these libraries into a hierarchy of modules with one source of documentation, and provide a consistent API for otherwise independent libraries.
Ocsigen is a research project aiming at developing new programming techniques for the Web. It contains a full featured Web server and a programming framework that provides a way to create dynamic Web sites. Its goal is to offer an alternative to Apache/PHP, based on technologies from research in programming languages. There is also a module, called Eliom, for generating dynamic Web pages. With Eliom, you program in a concise and modular way, with a strong type system which helps you to produce valid XHTML. The server handles sessions, URLs, and page parameters automatically.
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.