Select a tag to browse associated projects and drill deeper into the tag cloud.
Unison
Analyzed about 8 hours ago
Unison is a file-synchronization tool for Unix and Windows, written in OCaml. It allows two replicas of a collection of files and directories to be stored on different hosts, modified separately, and then brought up to date by propagating the changes in each replica to the other.
Unison offers
Licenses:
gpl
OCaml
Analyzed 2 days ago
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, France's national
MLDonkey
M
Analyzed 4 days ago
mldonkey is a multi-networks (edonkey, overnet, bittorrent, fasttrack-kazaa, gnutella, dc++...) file-sharing client written in Objective-Caml (ocaml). It runs as a daemon, and comes with its own GTK GUI, an HTTP interface, a telnet interface and also supports giFT interface
Ocaml Batteries Included
Analyzed over 3 years ago
The OCaml Batteries Included project provides a rich programming environment for beginners and advanced users. Its developers find strength in the extensive libraries of modern industrial languages (Java/.Net). We take the best from these languages for the benefit of OCaml users, providing a
Licenses:
lgpl21le
Xen Project (XAPI)
Analyzed 12 days ago
The Xen Project is a Linux Foundation Collaborative Project that focusses on the development and support of the Xen open source hypervisor and related components, developed and designed to run with the Linux platform. It includes the Xen Hypervisor, the Xen ARM Hypervisor, XAPI and Mirage OS. This
Licenses:
lgpl21le
libguestfs
L
Analyzed about 11 hours ago
libguestfs is a library for accessing and modifying guest disk images. Amongst the things this is good for: making batch configuration changes to guests, getting disk used/free statistics (see also: virt-df), migrating between virtualization systems (see also: virt-p2v), performing partial backups
Licenses:
gpl, lgpl21_or...
Coccinelle
C
Analyzed about 20 hours ago
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. Coccinelle was initially targeted towards performing collateral evolutions in Linux. Such evolutions comprise the
Liquidsoap
Analyzed about 2 years ago
Liquidsoap is a powerful tool for building complex audio stream generators, typically targetting internet radios. It consists of a simple script language, which has a first-class notion of source (basically a stream) and provides elementary source constructors and source compositions from which you
Licenses:
gpl, lgpl
paparazzi
Analyzed 6 months ago
Paparazzi is a free and open-source hardware and software project intended to create an exceptionally powerful and versatile autopilot system by allowing and encouraging input from the community. The project includes not only the airborne hardware and software, from voltage regulators and GPS
Ocsigen Server
Analyzed 3 days ago
Ocsigen is a web server and application framework for OCaml. It is built on the cooperative concurrency library Lwt and provides Eliom, a framework for developing web applications which utilizes the OCaml type system to provide static checks for many aspects of application behavior (well-formed XHTML, valid service URLs, etc.).
Licenses:
lgpl21_or...