| Up one level |
A peer-to-peer file-sharing program that can access different networks (edonkey, overnet, gnutella, direct-connect, soulseek). A forum for mldonkey users: MLDonkey World .
type t = { a: bool[1]; b : int[3] } is coded by an integer.
bits ) indexed
by constant sum types:
type t = A | B |c;;
let x = { A; B = true};;
if x..{A} then 1 else 2 ;;
A movie player, that can read multiple movie formats, one of the first players to read DIVX files on Linux.
GwML is a window-manager written in Ocaml. Configuration is done by dynamically loading Ocaml bytecode modules. GwML already includes Twm, Tvtwm, Fvwm and Fvwm2 simple emulation: it can load foreign configuration files, use their bindings and menus, and provide some emulation of the window decorations. GwML is part of the Efuns package.
type t = A of { x : int } | B of { mutable y : string } )
Efuns is an Emacs clone enterely written in Ocaml. It is included in the Xlib package as a demo, but it is now a really interesting editor, with already four major modes (Caml, C, TeX and Makefile) and one minor mode (Accents). It is able to dynamically load Ocaml code to be configured at runtime (using the Dynlink library). Its ability to use Ocaml lexers and parsers makes it a powerful tool for indenting and coloring files (in particular the Ocaml mode). In Ocaml mode, you can try the ocaml-print-type function which is able to display the type of an absolute value (such as List.iter) by looking at the corresponding cmi file.
| Up one level |