Showing page 1 of 2.

• 
  MLDonkey

  MLDonkey is a multi-platform multi-network peer-to-peer client.

  712 weekly downloads
• 
  savonet

  Audio and video streams generator

  363 weekly downloads
• 
  WideStudio

  WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice

  121 weekly downloads
• 
  CIL (C Intermediate Language)

  CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

  43 weekly downloads
• 
  Archive of Formal Proofs

  A collection of machine-checkend mathematical proofs

  7 weekly downloads
• 
  OCamlSDL

  OCamlSDL is an OCaml interface to the SDL (Simple DirectMedia Layer) library.

  7 weekly downloads
• 
  Decision Procedure Toolkit

  The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.

  4 weekly downloads
• 
  ODT: OCaml Development Tools

  The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).

  4 weekly downloads
• 
  image2matrix

  image2matrix is a command line utility that takes an image file as an argument and returns a numeric matrix containing the color values of each pixel.

  3 weekly downloads
• 
  MazeML

  MazeML est un logiciel de création et de résolution rapides de labyrinthes. Écrit en Objective Caml (OCaml) avec GTK+, il est portable sur de nombreuses plateformes. Il est publié sous les termes de la licence GNU GPL v3.

  2 weekly downloads
• 
  OCamlTeX

  LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...

  2 weekly downloads
• 
  banshee

  banshee-- A toolkit for building constraint-based program analyses

  2 weekly downloads
• 
  rezo

  A software for indexing and searching a samba based files sharing network.

  2 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.

  1 weekly downloads
• 
  CamlOSG

  CamlOSG is an OCaml bindings for OpenSceneGraph.

  1 weekly downloads
• 
  Lpd OCaml library

  OCaml Lpd is a Line Printer Daemon (LPD) server library written in OCaml. This project moved to OCamlForge https://forge.ocamlcore.org/projects/lpd/

  1 weekly downloads
• 
  OCaml Benchmark

  Moved to https://forge.ocamlcore.org/projects/ocaml-benchmark/ OCaml module to benchmark running times of code. It is inspired by Perl Benchmark.pm.

  1 weekly downloads
• 
  OCaml ExtLib

  A User-supported Extended Standard Library for OCaml

  1 weekly downloads
• 
  OCaml Rope Library

  This project moved to OCamlForge https://forge.ocamlcore.org/projects/rope/ This library implements ropes for OCaml (it is rich enough to replace strings).

  1 weekly downloads
• 
  OCamlBoggle

  OCamlBoggle implements the well-known game Boggle. It is licensed under the terms of the GNU GPL v3. It is written in OCaml with GTK+ and should thus work with many OS platforms. Its French database contains more than 600 000 entries.

  1 weekly downloads
• 
  OX(ML)

  OX is an XML integration into Objective-Caml, providing XML transducers based on pseudo-tree view. This gives a homogeneous view of XML within OCaml code, and lets users to manipulate such terms like any other ones, without constraint.

  1 weekly downloads
• 
  PiET: Pi Calculus Equivalences Tester

  PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.

  1 weekly downloads
• 
  SMOCaml

  SMOCaml is a server for Stepmania Online written from scratch in OCaml.

  1 weekly downloads
• 
  TimeCoreWar

  A Core War with time manipulation!

  1 weekly downloads
• 
  Translation Directory

  tdir is an LDAP translator, initially it will facilitate easy replication to MS Active Directory, but support for other directories may be added in the future

  1 weekly downloads

• Back
• 1
• 2
• Next