From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 489E2BBC1 for ; Thu, 10 Apr 2008 12:55:38 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AskAADOP/UfBL1AZiGdsb2JhbACRSwEBAQ8mmHA X-IronPort-AV: E=Sophos;i="4.25,635,1199660400"; d="scan'208";a="10692219" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Apr 2008 12:55:38 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3AAtbWD020890 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 10 Apr 2008 12:55:38 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AskAADOP/UfBL1AZiGdsb2JhbACRSwEBAQ8mmHA X-IronPort-AV: E=Sophos;i="4.25,635,1199660400"; d="scan'208";a="10692218" Received: from gw.exalead.com (HELO exalead.com) ([193.47.80.25]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Apr 2008 12:55:37 +0200 Received: from [192.168.204.148] (madpc064.exalead.com [192.168.204.148]) (authenticated bits=0) by exalead.com (8.14.2/8.14.0) with ESMTP id m3AAtbFj015613 for ; Thu, 10 Apr 2008 12:55:37 +0200 Message-ID: <47FDF229.4080000@exalead.com> Date: Thu, 10 Apr 2008 12:55:37 +0200 From: Berke Durak User-Agent: Thunderbird 1.5.0.10 (X11/20070221) MIME-Version: 1.0 To: Caml-list List Subject: List of sites running in Ocaml? Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at discorde with ID 47FDF229.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; berke:01 durak:01 berke:01 durak:01 ocaml:01 ocaml:01 frisch:01 cduce:01 humps:01 parser:01 edos:98 comic:98 massacre:98 pet:98 compile:01 Hello, Ocsigen seems to have sparked an emerging interest for web frameworks written in functional languages. I'd like to compile an exhaustive list of pages or sites using Ocaml as frontends or backends, with the technologies they use. Please do not hesitate to add any past or present running Ocaml site or page, even if its a personal site. Public sites: * Gerd's Camlcity: http://www.camlcity.org/ * The Ocsigen site itself: http://ocsigen.org/ * The Merjis site and Cocanwiki: http://merjis.com/ * The ara and anla servers, part of the EDOS project : http://brion.inria.fr/ara http://brion.inria.fr/anla Runs using a small multithreaded HTTP module, with gzip compression, and a simple sum type for documents. * I'll insert a shameless plug for a comic strip in french, Massacre à la Ronchonneuse (http://ronchonneuse.com/), which runs under my pet Ocaml framework thru lighttpd + SCGI; thanks to Sexplib for the persistance! Many other people rolled their own HTTP servers (for instance Stefano Zacchiroli's ocaml-http). Please tell if they are or were running somewhere. * Does ocamlcore.org run under Ocaml? Off-line generation: * Alain Frisch's personal site: http://alain.frisch.fr/ generated using Cduce, of course CGIs: * The Caml Humps, which I assume run as Ocaml CGI scripts: http://caml.inria.fr//cgi-bin/hump.en.cgi * Aurochs parser demo: http://aurochs.fr/cgi/demo.cgi (mine) Backends: * I have been told Wink uses Ocaml as a backend. Intranet: * Impala at INRIA * From my Paris 7 days I recall a webapp to allocate teachers and assistants to courses. I seem to remember that it was written in Ocaml? I'm sure there are other internal apps at Paris 7 in Ocaml. Possible candidates: * Lexify * Jane Street * Haxe and Motion Twin -- Berke DURAK