From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 7DCF97ED67 for ; Sat, 18 Aug 2012 22:06:14 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of esther.baruk@gmail.com) identity=pra; client-ip=209.85.216.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="esther.baruk@gmail.com"; x-sender="esther.baruk@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of esther.baruk@gmail.com designates 209.85.216.182 as permitted sender) identity=mailfrom; client-ip=209.85.216.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="esther.baruk@gmail.com"; x-sender="esther.baruk@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qc0-f182.google.com) identity=helo; client-ip=209.85.216.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="esther.baruk@gmail.com"; x-sender="postmaster@mail-qc0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnoCAPf0L1DRVdi2k2dsb2JhbABFgkqmZYhHAYg/CCIBAQEBCQkLCRQEI4IiAQUBAQ8CBCgBGw4BAQIBBwQDEgwEGUQBBAEMAQUBPRECB4dbAQMMC5d7gmEJA4wigS6BRIQ/ChknDVeIcQEFDIsZBoZyA5MlgiuBFIl7gyY+hAKBVwg X-IronPort-AV: E=Sophos;i="4.77,791,1336341600"; d="scan'208";a="170192685" Received: from mail-qc0-f182.google.com ([209.85.216.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Aug 2012 22:06:12 +0200 Received: by qcsg15 with SMTP id g15so6019340qcs.27 for ; Sat, 18 Aug 2012 13:06:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=ETYrS1CRb/A9lBwZmAzlHtFfkzYR6A+pw96KscSzztQ=; b=kOqW20xGrhGYzBP22rX+pDTh1WL7LRQ8BH79HnTBv1eqygXKqsRs3kv1hCEwbA4MoH JM8g5mpzFx81PWc1X4416fNvTR9sCAJzsjV+J8wCXJkAS+u5GXTztfQIChW4MbKyjwm+ CqbMWUbUTeM+0JuenYRoD5BYIU6FA1RNTpwOpDtoj3m0E9kelQJT2AINqR2EEphzrC9l ljNKO+ZM+CKz/AdZMjYqDy6HHsiDqDASdlUURPYFjHeVOdwkH4z5WopZTO3Xr0Fn2b8i nmh3NQYPyIP6DQ1qSXyFnjII37TxcMjsU0uHy2+IZ9T0K00YMuqSoRGO51I6vsDO6ATu siaw== Received: by 10.229.137.72 with SMTP id v8mr7428890qct.79.1345320370750; Sat, 18 Aug 2012 13:06:10 -0700 (PDT) MIME-Version: 1.0 Received: by 10.229.174.150 with HTTP; Sat, 18 Aug 2012 13:05:50 -0700 (PDT) From: Esther Baruk Date: Sat, 18 Aug 2012 22:05:50 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=00235452fe24cec70d04c78fce19 Subject: [Caml-list] Companies using OCaml --00235452fe24cec70d04c78fce19 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear OCaml list, Some of you might already have heard about the OCaml Website projectstarted 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 *Acunu is writing, from the ground-up, a Storage and Analytics Platform for Massive Data.* - Citrix - Flying Frog Consultancy *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 *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 w= hen building websites.* - France - Dassault Syst=E8mes ** - Esterel Technologies ** - LexiFi *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 *MEDIT develops SuMo, an advanced bioinformatic system 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 *Motion-Twin is building web-based Flash video games for several web sites such as Frutiparc and Prizee and KadoKado . Because controlling the technology is critical for us, we're developing a lot of in-house too= ls 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 *MLstate is the creator of Opa : 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, al= l of them tightly integrated to provide a great experience for web develop= ers. Opa is concise, simple, concurrent, dynamically secure and secure out= of the box. It is written mainly in OCaml and uses OCaml as an intermedi= ate language for compilation.* - OCamlPro *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 dom= ains. * - RunOrg ** - Japan - IT Planning *We use Ocaml for some kind of enterprise systems (i.e. production control, portfolio risk management and web services).* - Poland - Narrow Gate Logic *Narrow Gate Logic is a company using Ocaml language in business and non-business applications.* - Sweden - Framtidsforum I&M *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 *General programming, with wide base and experience in Mobile Telephony programming and web application development.* - United States - Galois *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 *Jane Street is a quantitative proprietary trading firm that operates around the clock and around the globe. They bring a deep understandin= g of markets, a scientific approach, and innovative technology to bear on = the problem of trading profitably in the world's highly competitive finan= cial 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 operat= ions 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 (formerly Skydeck ) - MyLife (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 t= hat was built in between. - Psellos - PRUDENT Technologies and Consulting, Inc. --00235452fe24cec70d04c78fce19 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear OCaml list,

Some of you might already have heard ab= out the OCaml Website projec= t started after its announcement at the last OCaml Meeting in April 201= 1.
There will be a page on the website where we list all companies using = the OCaml language.
We listed almost all well known companies (se= e 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.=A0And if you see some detailed descriptions that need to be update= d, let us know.

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

Thank you for your help.

Esthe= r Baruk


List (sorted by country and compan= y name):

  • England
    • A= cunu
      Acunu is writing, from the ground-up, a Storage and Analytics Platform f= or Massive Data.
    • Citrix
    • Flyi= ng Frog Consultancy
      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 n= iche of intrinsically complicated programs between large-scale, array-based= programs written in languages such as HPF and small-scale, graphical progr= ams written in languages such as Mathematica.
    • Merjis
      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 techn= ology to use when building websites.
  • France
    • Dassault Syst=E8mes
    • Esterel Technologies
    • LexiFi
      LexiFi is an innovative provider= of software applications and infrastructure technology for the capital mar= kets industry. LexiFi Apropos is powered by an original formalism for descr= ibing financial contracts, the result of a long-term research and developme= nt effort.
    • MEDIT
      MEDIT develops=A0SuMo, an advan= ced bioinformatic system=A0for the analysis of protein 3D structures an= d the identification of drug-design targets. SuMo is written entirely in OC= aml and provides interfaces to several commercial molecular-modelling packa= ges.
    • Motion-Twin
      Motion-Twin is building web-based = Flash video games for several web sites such as=A0Frutiparc=A0and=A0Prizee=A0and=A0KadoKado. Because co= ntrolling the technology is critical for us, we're developing a lot of = in-house tools using OCaml to gain development time and stability advandage= s over competitors. Using OCaml enables us to quickly develop robust softwa= re that we need to build our games.
    • MLstate
      MLstate is the creator of=A0Opa= : 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 w= eb developers. Opa is concise, simple, concurrent, dynamically secure and s= ecure out of the box. It is written mainly in OCaml and uses OCaml as an in= termediate language for compilation.
    • OCamlPro
      OCamlPro develops and maintains a develo= pment environment for the OCaml language. They provide services for compani= es deciding to use OCaml. Among these services: trainings, necessary expert= ises, tools and libraries long-term support, and specific developments to t= heir applicative domains.
    • RunOrg
  • Japan
    • IT Planning
      We use Ocaml for some kind of enterpri= se systems (i.e. production control, portfolio risk management and web serv= ices).
  • Poland
    • Narrow Gate Logic
      Narrow Gate Logic is a company using Oca= ml language in business and non-business applications.
    • Sweden
    • Framtidsforum I&M
      Framtidsforum I&M sells ExcelEverywhere, which creates web pages tha= t look and function the same as your MS Excel spreadsheet. JavaScript is us= ed for calculation. Supports 140 Excel-functions. Typically used for expens= e report, survey, order forms, reservation forms, employment application, f= inancial advisor, ROI. There are also versions that generate ASP, ASP.NET and JSP/Java code. The compiler is written = using Ocaml.
  • Uganda
    • Digital Solutions
      General programming, with wide base and = experience in Mobile Telephony programming and web application development.=
  • United States
    • Galois
      Galois has developed a domain specific decla= rative language for cryptographic algorithms. One of our research compilers= is written in OCaml and makes very extensive use of camlp4.
    • JaneStreet
      Jane Street is a quantitative propri= etary trading firm that operates around the clock and around the globe. The= y bring a deep understanding of markets, a scientific approach, and innovat= ive technology to bear on the problem of trading profitably in the world= 9;s highly competitive financial markets.
      Jane Street is perhaps the largest commercial user of OCaml, and has attrac= ted a very strong team of functional programmers. They use OCaml for everyt= hing, from research infrastructure to trading systems to operations and acc= ounting systems. Jane Street has over 50 OCaml programmers and over a milli= on lines of OCaml, powering a technology platform that trades billions of d= ollars every day.
    • MrNumber=A0(formerly=A0Skydeck)
    • MyLife=A0(formerly Wink)
      MyLife has developped a powerful = people search tool that will empower those in need to find anyone, regardle= ss of years past and the life that was built in between.
    • Psellos
    • PRUDENT Technologies a= nd Consulting, Inc.
--00235452fe24cec70d04c78fce19--