repasa is a set of three kind of tools: For creation of contents directly in the XML format of repasa or in other file formats (DocBook and LaTeX) following some conventions, for checking the contents, and for studying the contents and registering progress. The contents can be specified with definitions, classifications for the definitions (possibly along with exercises), and sequences of study. It is especially well suited to organize information according to the current legislation for education in schools of Colombia.
mod_caml is a set of Objective CAML (OCaml) bindings for the Apache API. It allows you to run CGI scripts written in OCaml directly inside the Apache Web server. However, it is much much more than just that. You can bind to any part of the Apache request cycle, read and modify internal Apache structures, share modules of code between handlers and scripts, or use the CGI library and templating system (allows separation of code and presentation).
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.
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.
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.
MyCGR implements the research of the thesis of Peggy Cénac regarding the use of CGR (Chaos Game Representation) to build a new family of tests for the structure of sequences. It can empirically check the level and power of the tests and apply them on DNA sequences. It can generalize the dinucleotide abundance profile to a CGR-based relative abundance profile and use this profile on DNA sequences to build taxonomy trees and to define CGR-trees.