Directory Top sites directory
Arts Business Computers Games News Health Recreation Regional Science Shopping

Directory web directory open directory project

Whatever you are looking for in Computers, Programming, Languages, ML, Caml, you can probably find it here. Actidir offers a large collection of annotated links to Computers, Programming, Languages, ML, Caml sites organized by category. Browse thousands of web sites that are more focused on one particular aspect of Computers, Programming, Languages, ML, Caml with just the click of your mouse.

Cheap Hotels - Cheap Hotels Reservation. Discount Hotel Reservations worldwide. Find discount hotels, cheap hotels, luxury hotels, lodging and motels at cheap prices.
OOHotels - Discount and cheap hotels worldwide. Hotel rates and lodging reservations at cheap prices.
Hotels Booking - Booking discount hotels worldwide. Book over 90 000 hotels worldwide with our online hotel reservations service.

Top: Computers: Programming: Languages: ML: Caml:

See also:

This category in other languages:
   
French  (5)  

    http://alan.petitepomme.net/cwn/   » Archive of Caml Weekly News - Mailing list archive from 2001.11.27 to present, all HTML.

    http://caml.inria.fr/   » The Caml Language - Strongly-typed, safe, automatic statically type-checked functional programming language from ML family. Powerful, easy to learn. Descriptions, documents, resources, downloads. English, Français. [Open Source, INRIA]

    http://www.loria.fr/equipes/cassis/softwares/spike/   » SPIKE - Automatic theorem prover for Horn equational logics, coded in Caml Light, Tcl/Tk graphic interface allows mouse-menus interaction; supports building correct specifications via verifying properties by induction. Description, downloads.

OOHotels | Locations Vacances | Hotels | Cheap Hotels | Hotels Booking
The Open Directory Project is the largest, most comprehensive human-edited directory of the Web. It is constructed and maintained by a vast, global community of volunteer editors. The Open Directory is the most widely distributed data base of Web content classified by humans.
Help build the largest human-edited directory on the web.
Soumettre un site - Open Directory Project - Devenir Editeur

Copyright © ActiDir