[Caml-list] List of sites running in Ocaml?
Berke Durak
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
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Gerd Stolpmann
Am Donnerstag, den 10.04.2008, 12:55 +0200 schrieb Berke Durak:
> 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.
> Backends:
> * I have been told Wink uses Ocaml as a backend.
Yes, that's true. A substantial part of the search application on
wink.com is written in OCaml. This includes mostly offline components
like the crawler, the parsers, some distributed storage systems, but
also the so-called abstract server which operates directly behind the
frontend and coordinates the various backend systems that must work
together to do a search. Summed up around 120,000 lines of
application-specific code (just counted with wc).
Gerd
--
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany
ge...@gerd-stolpmann.de http://www.gerd-stolpmann.de
Phone: +49-6151-153855 Fax: +49-6151-997714
------------------------------------------------------------
Sylvain Le Gall
> 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:
There is just a little CGI script written with ocamlnet(CGI)+sqlite to
manage feed subscription. Most of the website is run through standard
web application that can be found directly in debian (gforge, planet,
mailman...).
But we are open to include more OCaml part, for replacing non-OCaml
part (for now we want something working to know what interest OCaml
community -- then we can choose what should be the bigger/best part to
replace with a great ocaml application).
>
> Possible candidates:
> * Lexify
> * Jane Street
> * Haxe and Motion Twin
MLState: www.mlstate.com
Regards,
Sylvain Le Gall
Luca Pascali
> 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.
>
I am writing my personal web site using a beta version of ex-nunc
( http://www.ex-nunc.org )
My website is not yet online, but it will be soon.
I'm joining ex-nunc development team and I'm doing some tests.
As soon as it will be online, I'll announce it.
Regards
Luca Pascali
Jon Harrop
> 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.
Our OCaml and F#.NET Journal articles are all generated from custom source by
an OCaml program:
http://www.ffconsultancy.com/products/ocaml_journal/
http://www.ffconsultancy.com/products/fsharp_journal/
We are in the process of converting the entire site to being autogenerated by
similar OCaml programs. However, we have yet to do anything dynamic
(including a shopping cart). I'd appreciate any advice on that, BTW.
--
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e
Berke Durak
any inaccuracies and provide details, if you can, about what you used.
http://cocan.org/web_sites_using_ocaml
I don't know what the owners of the COCAN wiki would think about it, but IMHO
it would be appropriate for the authors/maintainers of these sites to explain
the techniques they used in a small page. Some performance metrics could also
make "dynamic fanboys" envious (I'm thinking of Ruby users frustrated by the
excruciating slowness of that language). This could also apply to other
software projects.
Think of prospective new users looking for what they could do in Ocaml.
BTW the COCAN wiki is a great place for centralized information and the wiki
itself is a joy to use.
PS. I've also added an "Ocaml success stories" page with a list of well-known Ocaml
software (coq, unison, mldonkey, etc.)
Jon Harrop
> PS. I've also added an "Ocaml success stories" page with a list of
> well-known Ocaml software (coq, unison, mldonkey, etc.)
You've missed lots of even bigger applications of OCaml, like FFTW. You may
find some of our related blog articles of interest:
http://flyingfrogblog.blogspot.com/2007/09/functional-programming-in-industry.html
http://flyingfrogblog.blogspot.com/2007/11/most-popular-functional-languages-on.html
http://ocamlnews.blogspot.com/2007/12/top-10-most-popular-ocaml-programs.html
http://ocamlnews.blogspot.com/2007/09/xensource-sell-for-500m.html
I also forgot to mention that we are following FFTW's lead and using OCaml to
generate source code in more mainstream languages that we can sell. This is
technically known as "geometric money in linear time". :-)
--
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e
_______________________________________________
Berke Durak
> On Friday 11 April 2008 13:19:35 Berke Durak wrote:
>> PS. I've also added an "Ocaml success stories" page with a list of
>> well-known Ocaml software (coq, unison, mldonkey, etc.)
> You've missed lots of even bigger applications of OCaml, like FFTW. You may
> find some of our related blog articles of interest:
>
> http://flyingfrogblog.blogspot.com/2007/09/functional-programming-in-industry.html
> http://flyingfrogblog.blogspot.com/2007/11/most-popular-functional-languages-on.html
> http://ocamlnews.blogspot.com/2007/12/top-10-most-popular-ocaml-programs.html
> http://ocamlnews.blogspot.com/2007/09/xensource-sell-for-500m.html
Added those, but you should edit the page, too! It's a wiki after all.
> I also forgot to mention that we are following FFTW's lead and using OCaml to
> generate source code in more mainstream languages that we can sell. This is
> technically known as "geometric money in linear time". :-)
Are you are implying that Ocaml is exponentially more succinct than your
target language (C/C++ I guess?), and that customers are willing to buy at a
price computed from slocs in the target language ? :)
--
Berke DURAK
Dario Teixeira
> ( http://www.ex-nunc.org )
>
> My website is not yet online, but it will be soon.
> I'm joining ex-nunc development team and I'm doing some tests.
>
> As soon as it will be online, I'll announce it.
Hi,
Ex-nunc seems very similar in scope to Eliom from the Ocsigen project.
Could you tell us a bit more about the differences/goals?
Cheers,
Dario
___________________________________________________________
Yahoo! For Good helps you make a difference
http://uk.promotions.yahoo.com/forgood/
Richard Jones
> I don't know what the owners of the COCAN wiki would think about it, but
> IMHO
> it would be appropriate for the authors/maintainers of these sites to
> explain
> the techniques they used in a small page. Some performance metrics could
> also
> make "dynamic fanboys" envious (I'm thinking of Ruby users frustrated by the
> excruciating slowness of that language). This could also apply to other
> software projects.
We have this page which needs some love:
http://cocan.org/comparisons/web_application
Rich.
--
Richard Jones
Red Hat
David MENTRE
2008/4/11 Richard Jones <ri...@annexia.org>:
> We have this page which needs some love:
>
> http://cocan.org/comparisons/web_application
I don't know if it can help, but this page could be used as input:
https://demexp.org/dokuwiki/doku.php?id=en:web_client_development_framework#comparison_of_ocaml_frameworks
Yours,
d.
Michael Ekstrand
> 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.
My personal site, <http://www.elehack.net>. Static website compiler
built in OCaml, generating pages with a bit of PHP in them for the
actual server-side stuff (although changing all that to server-side
OCaml with FastCGI is in my list of things-to-do).
- Michael
--
mouse, n: A device for pointing at the xterm in which you want to type.