Showing page 1 of 1.

• 
  savonet

  Audio and video streams generator

  152 weekly downloads
• 
  ldap server and client library for Ocaml

  An implementation of the Light Weight Directory Access Protocol in Objective Caml. Both server and client libraries are provided, along with some data manipulation goodies such as a schema checker, and parsers for ldif, ldapurls etc.

  3 weekly downloads
• 
  Archive of Formal Proofs

  A collection of machine-checkend mathematical proofs

  2 weekly downloads
• 
  OCaml Magic

  OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).

  1 weekly downloads
• 
  newspeak

  Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

  1 weekly downloads