[Caml-list] Companies using OCaml

[Caml-list] Companies using OCaml

[Esther Baruk]

[-- Attachment #1: Type: text/plain, Size: 7071 bytes --]

Dear OCaml list,

Some of you might already have heard about the OCaml Website
project<http://github.com/agarwal/ocamlweb>started after its
announcement at the last OCaml Meeting in April 2011.
There will be a page on the website where we list all companies using the
OCaml language.
We listed almost all well known companies (see the list at the end of this
mail), with a small description of the use of OCaml in the corresponding
company.
We wish to enrich this list as much as possible.
So, if you know or work in a company using OCaml and that is not in this
list, please tell us. And if you see some detailed descriptions that need
to be updated, let us know.

We also welcome new contributors to the project. You can submit pull
requests on Github (http://github.com/agarwal/ocamlweb) and also suggest
content to add, etc. We have a mailing list where you can subscribe:
https://lists.forge.ocamlcore.org/cgi-bin/listinfo/ocamlweb-devel

Thank you for your help.

Esther Baruk


List (sorted by country and company name):


   - England
      - Acunu <http://www.acunu.com>
      *Acunu is writing, from the ground-up, a Storage and Analytics
      Platform for Massive Data.*
      - Citrix <http://www.citrix.com>
      - Flying Frog Consultancy <http://ffconsultancy.com>
      *Flying Frog Consultancy Ltd. consult and write books and software on
      the use of OCaml in the context of scientific computing. OCaml excels in
      the niche of intrinsically complicated programs between large-scale,
      array-based programs written in languages such as HPF and small-scale,
      graphical programs written in languages such as Mathematica.*
      - Merjis <http://merjis.com>
      *Merjis Ltd. work on improving website return on investment by having
      a mix of good marketing and excellent understanding of the technology. We
      use OCaml because it represents the best of breed technology to use when
      building websites.*
   - France
      - Dassault Systèmes <http://www.3ds.com/fr/>
      **
      - Esterel Technologies <http://www.esterel-technologies.com/>
      **
      - LexiFi <http://www.lexifi.com>
      *LexiFi is an innovative provider of software applications and
      infrastructure technology for the capital markets industry.
LexiFi Apropos
      is powered by an original formalism for describing financial
contracts, the
      result of a long-term research and development effort.*
      - MEDIT <http://www.medit.fr>
      *MEDIT develops SuMo, an advanced bioinformatic
system<http://mjambon.com/phd.html> for
      the analysis of protein 3D structures and the identification of
drug-design
      targets. SuMo is written entirely in OCaml and provides interfaces to
      several commercial molecular-modelling packages.*
      - Motion-Twin <http://www.motion-twin.com>
      *Motion-Twin is building web-based Flash video games for several web
      sites such as Frutiparc <http://www.frutiparc.com> and
Prizee<http://www.prizee.com>
       and KadoKado <http://www.kadokado.com>. Because controlling the
      technology is critical for us, we're developing a lot of in-house tools
      using OCaml to gain development time and stability advandages over
      competitors. Using OCaml enables us to quickly develop robust
software that
      we need to build our games.*
      - MLstate <http://www.mlstate.com>
      *MLstate is the creator of Opa <http://opalang.org>: an open-source
      web development platform. It consists of a new programming
language, a new
      web server, a new database and a new distributed execution engine, all of
      them tightly integrated to provide a great experience for web developers.
      Opa is concise, simple, concurrent, dynamically secure and secure out of
      the box. It is written mainly in OCaml and uses OCaml as an intermediate
      language for compilation.*
      - OCamlPro <http://www.ocamlpro.com>
      *OCamlPro develops and maintains a development environment for the
      OCaml language. They provide services for companies deciding to
use OCaml.
      Among these services: trainings, necessary expertises, tools and
libraries
      long-term support, and specific developments to their applicative domains.
      *
      - RunOrg <http://runorg.com>
      **
   - Japan
      - IT Planning <http://www.itpl.co.jp/>
      *We use Ocaml for some kind of enterprise systems (i.e. production
      control, portfolio risk management and web services).*
   - Poland
      - Narrow Gate Logic <http://nglogic.com>
      *Narrow Gate Logic is a company using Ocaml language in business and
      non-business applications.*
   - Sweden
      - Framtidsforum I&M <http://www.exceleverywhere.com>
      *Framtidsforum I&M sells ExcelEverywhere, which creates web pages
      that look and function the same as your MS Excel spreadsheet.
JavaScript is
      used for calculation. Supports 140 Excel-functions. Typically used for
      expense report, survey, order forms, reservation forms, employment
      application, financial advisor, ROI. There are also versions
that generate
      ASP, ASP.NET and JSP/Java code. The compiler is written using Ocaml.*
   - Uganda
      - Digital Solutions <http://dsmagic.com>
      *General programming, with wide base and experience in Mobile
      Telephony programming and web application development.*
   - United States
      - Galois <http://www.galois.com>
      *Galois has developed a domain specific declarative language for
      cryptographic algorithms. One of our research compilers is
written in OCaml
      and makes very extensive use of camlp4.*
      - JaneStreet <http://www.janestreet.com>
      *Jane Street is a quantitative proprietary trading firm that operates
      around the clock and around the globe. They bring a deep understanding of
      markets, a scientific approach, and innovative technology to bear on the
      problem of trading profitably in the world's highly competitive financial
      markets.
      Jane Street is perhaps the largest commercial user of OCaml, and has
      attracted a very strong team of functional programmers. They use
OCaml for
      everything, from research infrastructure to trading systems to operations
      and accounting systems. Jane Street has over 50 OCaml
programmers and over
      a million lines of OCaml, powering a technology platform that trades
      billions of dollars every day.*
      - MrNumber <http://mrnumber.com/> (formerly
Skydeck<http://www.slideshare.net/jaked1/from-o-caml-to-javascript-at-skydeck>
      )
      - MyLife <http://mylife.com> (formerly Wink)
      MyLife has developped a powerful people search tool that will empower
      those in need to find anyone, regardless of years past and the life that
      was built in between.
      - Psellos <http://psellos.com>
      - PRUDENT Technologies and Consulting,
Inc.<http://www.prudentconsulting.com/>

[-- Attachment #2: Type: text/html, Size: 10884 bytes --]

Re: [Caml-list] Companies using OCaml

[Gabriel Kerneis]

Le 18.08.2012 22:05, Esther Baruk a écrit :
> 	* England

You should definitely use "United Kindgom" instead.

Kind regards,
-- 
Gabriel Kerneis

AW: [Caml-list] Companies using OCaml

[Gerd Stolpmann]

Am 18.08.2012 22:05:50 schrieb(en) Esther Baruk:
> Dear OCaml list,
> There will be a page on the website where we list all companies using  
> the
> OCaml language.
> 

"all": Note that there are a number of companies who don't want to  
publish which technologies they use. I could add three more companies  
(because I worked for them or had inquiries), but unfortunately they  
have reasons to hide for now, especially because they see their choice  
of technology as advantage they don't want to reveal to their  
competitors. Looks like as consultant I have a better chance to get  
into contact with them - they come to me, not the other way round.

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------

Re: AW: [Caml-list] Companies using OCaml

[Dan Bensen]

[-- Attachment #1: Type: text/plain, Size: 367 bytes --]

>> There will be a page on the website where we list all
>> companies using the OCaml language.

> there are a number of companies who don't want to publish
>  which technologies they use.
>  as consultant I have a better chance to get into contact
> with them - they come to me, not the other way round.

Maybe such companies would like a list of OCaml programmers.

[-- Attachment #2: Type: text/html, Size: 608 bytes --]

Re: [Caml-list] Companies using OCaml

[Esther Baruk]

[-- Attachment #1: Type: text/plain, Size: 1387 bytes --]

All the companies that you see listed here have been either contacted on
their use of OCaml or it is clear on their website that they use it.
We also took content from the list that was in former cocan.org website.

Cheers,

Esther Baruk


On Sun, Aug 19, 2012 at 2:46 PM, Gerd Stolpmann <info@gerd-stolpmann.de>wrote:

> Am 18.08.2012 22:05:50 schrieb(en) Esther Baruk:
>
>> Dear OCaml list,
>>
>> There will be a page on the website where we list all companies using the
>> OCaml language.
>>
>>
> "all": Note that there are a number of companies who don't want to publish
> which technologies they use. I could add three more companies (because I
> worked for them or had inquiries), but unfortunately they have reasons to
> hide for now, especially because they see their choice of technology as
> advantage they don't want to reveal to their competitors. Looks like as
> consultant I have a better chance to get into contact with them - they come
> to me, not the other way round.
>
> Gerd
> --
> ------------------------------**------------------------------
> Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
> Creator of GODI and camlcity.org.
> Contact details:        http://www.camlcity.org/**contact.html<http://www.camlcity.org/contact.html>
> Company homepage:       http://www.gerd-stolpmann.de
> ------------------------------**------------------------------

[-- Attachment #2: Type: text/html, Size: 2196 bytes --]

Re: [Caml-list] Companies using OCaml

[Mihamina Rakotomandimby]

On 08/19/2012 07:16 PM, Dan Bensen wrote:
>> as consultant I have a better chance to get into contact
>> with them - they come to me, not the other way round.

> Maybe such companies would like a list of OCaml programmers.

http://planet.ocamlcore.org is a first step for that.

-- 
RMA.

Re: [Caml-list] Companies using OCaml

[Richard W.M. Jones]

On Sat, Aug 18, 2012 at 10:05:50PM +0200, Esther Baruk wrote:
>       - Merjis <http://merjis.com>

Merjis is no more.  It has kicked the proverbial bucket.

Nevertheless I'm using a lot of OCaml at Red Hat.  Whether or
not this counts as "Red Hat uses and endorses OCaml", well
probably not.

Rich.

-- 
Richard Jones
Red Hat

Re: [Caml-list] Companies using OCaml

[Ashish Agarwal]

[-- Attachment #1: Type: text/plain, Size: 728 bytes --]

On Tue, Aug 21, 2012 at 10:55 AM, Richard W.M. Jones <rich@annexia.org>wrote:

Merjis is no more.
>

Thanks for the update. We'll remove this from the list.


I'm using a lot of OCaml at Red Hat.  Whether or
> not this counts as "Red Hat uses and endorses OCaml", well
> probably not.
>

It would be valuable to include your work at RedHat on this page. The page
in no way implies official endorsement of ocaml by the companies listed. If
you find it necessary, you could add a sentence like "The work described
herein does not constitute official endorsement by RedHat of OCaml." Or
perhaps we should add such a disclaimer for the whole page? Then
individuals within companies could also be comfortable listing their
projects.

[-- Attachment #2: Type: text/html, Size: 1247 bytes --]

Re: [Caml-list] Companies using OCaml

[Richard W.M. Jones]

On Tue, Aug 21, 2012 at 12:32:49PM -0400, Ashish Agarwal wrote:
> On Tue, Aug 21, 2012 at 10:55 AM, Richard W.M. Jones <rich@annexia.org>wrote:
> 
> Merjis is no more.
> >
> 
> Thanks for the update. We'll remove this from the list.
> 
> 
> I'm using a lot of OCaml at Red Hat.  Whether or
> > not this counts as "Red Hat uses and endorses OCaml", well
> > probably not.
> >
> 
> It would be valuable to include your work at RedHat on this page. The page
> in no way implies official endorsement of ocaml by the companies listed. If
> you find it necessary, you could add a sentence like "The work described
> herein does not constitute official endorsement by RedHat of OCaml." Or
> perhaps we should add such a disclaimer for the whole page? Then
> individuals within companies could also be comfortable listing their
> projects.

Well I can't really say .. but the company name is "Red Hat".

Rich.

-- 
Richard Jones
Red Hat

Re: [Caml-list] Companies using OCaml

[David Baelde]

Hi,

I have a few observations that may be relevant for your "company" or
"success" pages.

First, Nicolas Cannasse (main developper of HaXe) has recently left
Motion Twin for another French company, Shiro Games
(http://shirogames.com/). I'm not sure that Motion Twin still counts
as a user of OCaml, it seems possible that they are now only using the
HaXe compiler, whose development would have followed Cannasse at Shiro
Games.

Second, I think that liquidsoap (http://liquidsoap.fm) should be added
to the list of successes. As a main developer of the project, I am not
neutral, but I believe that our tool is clearly well established in
the (internet) radio industry. Liquidsoap is well known as a tool with
unique abilities, and has lots of users including big commercial ones.
It is not developed as a business, but companies develop services or
software on top of it. For example, Sourcefabric develops and sells
Airtime on top of liquidsoap -- but they may not be relevant for your
company page because they don't write OCaml code.

I think those two examples are interesting in that they are outside of
the traditional formal methods and scientific computing fields. If you
want to include paragraphs about them in one of your pages, I can
help.

In my opinion, these examples together with Gerd's remark show that
the company page should have some sort of disclaimer, pointing out
that the listing does not mention companies using products based on
OCaml, and does not mention companies which don't advertise their use
of OCaml. The success page does not have that problem.

Cheers,
-- 
David

Re: [Caml-list] Companies using OCaml

[Paolo Donadeo]

Sorry, I completely missed this thread. For what it's worth, you can
add Italy, and Studio Associato 4Sigma: http://www.4sigma.it/

We are a small firm and we make web sites (90% of our work) and some
interesting web application (10%). OCaml is not our main language but
is used here and there, and I wrote a small server that is a key
component of a service we offer our customers.


-- 
Paolo

Re: [Caml-list] Companies using OCaml

[Paolo Donadeo]

On Wed, Aug 22, 2012 at 4:35 PM, Esther Baruk <esther.baruk@gmail.com> wrote:
> Thanks for your help !
> I noticed a small typo on your website home page : " Instead of imagining
> that our main task is to instruct a computer what to do ...".

WOW, what an eye! :-)

Interesting is that that quote is present everywhere in the Internet
in the wrong form: http://goo.gl/rlv9m

In any case I just fixed, thanks :-)


-- 
Paolo