|
|
|
|
Welcome Guest! Login/Join |
| Directory: | Computers / Programming / Languages / ML / Objective_Caml |
| Title: | The JoCaml System |
| Description: | Experimental OCaml extension, distributed join-calculus programming model; high-level communication and synchronizing channels, mobile agents, failure detection, garbage collected. Descriptions, documents, downloads. |
| Location: | http://moscova.inria.fr/jocaml/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / ML / Objective_Caml |
| Title: | Developing Applications with Objective Caml |
| Description: | By Emmanuel Chailloux, Pascal Manoury, Bruno Pagano; O'Reilly, 2005. Book online. Many topics and examples covered. One drawback: based on old OCaml version. HTML, PDF. |
| Location: | http://caml.inria.fr/pub/docs/oreilly-book/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Prolog |
| Title: | clp(FD) |
| Description: | This constraint logic programming language over Finite Domains (clp(FD)) is based on the wamcc Prolog compiler. |
| Location: | ftp://ftp.inria.fr/INRIA/Projects/ChLoE/LOGIC_PROGRAMMING/clp_fd/ |
| |
|
| | |
| Directory: | Computers / Programming / Languages / Prolog / Implementations |
| Title: | INRIA wamcc |
| Description: | Predecessor to GNU Prolog. Compiles Prolog via GCC 2.x |
| Location: | ftp://ftp.inria.fr/INRIA/Projects/contraintes/wamcc/ |
| |
|
| | |
| Directory: | Computers / Programming / Threads / POSIX |
| Title: | LinuxThreads FAQ |
| Description: | Frequently asked questions about the kernel-level multi-threading library for Linux. |
| Location: | http://pauillac.inria.fr/~xleroy/linuxthreads/faq.html |
| |
|
| | |
| Directory: | Computers / Software / Internet / Servers / Media |
| Title: | Rendez-Vous |
| Description: | Internet videoconferencing tool developed at INRIA by Frank Lyonnet. It is in a way the successor to the IVS tool developed some time ago by Thierry Turletti, which was one of the first MBone tools available (however it is a completely new piece of code compared to IVS). |
| Location: | http://www-sop.inria.fr/rodeo/rv/ |
| |
|
| | |
| Directory: | Computers / Software / Networking / Network_Management / WBEM |
| Title: | RR-3927 - Wbem |
| Description: | This report is a tutorial for the Web-Based Enterprise Management (WBEM) approach initiated by the Distributed Management Task Force (DMTF) consortium. |
| Location: | http://www.inria.fr/rrrt/rr-3927.html |
| |
|
| | |
| Directory: | Computers / Software / Operating_Systems / Graphic_Subsystems / Toolkits / Gtk / Language_Bindings |
| Title: | MlGtk |
| Description: | An interface between Ocaml (a dialect of ML) and the Gtk+ toolkit |
| Location: | http://cristal.inria.fr/~cuoq/mlgtk.html |
| |
|
| | |
| Directory: | Computers / Software / Operating_Systems / Linux / Programming / Threads |
| Title: | The LinuxThreads library |
| Description: | The recommended threads package for Linux ,also included in glibc 2.0. |
| Location: | http://pauillac.inria.fr/~xleroy/linuxthreads/ |
| |
|
| | |
| Directory: | Computers / Software / Operating_Systems / Linux / Projects / Internet / Web / Browsers |
| Title: | MMM |
| Description: | MMM is a WWW browser implemented in Objective Caml using its CamlTk41 interface to Tcl/Tk. |
| Location: | http://pauillac.inria.fr/~rouaix/mmm/ |
| |
|
| | |
Hosting Metrics