Merge pull request ocaml#26 from patricoferris/import-industrial-users

import industrial user content

data/industrial_users/en/aesthetic-integration.md

@@ -0,0 +1,11 @@
+---
+name: Aesthetic Integration
+description: > 
+  Aesthetic Integration (AI) is a financial technology startup based in the City of London
+image: users/aesthetic-integration.png
+site: "http://www.aestheticintegration.com"
+locations: 
+  - United Kingdom
+---
+
+Aesthetic Integration (AI) is a financial technology startup based in the City of London. AI's patent-pending formal verification technology is revolutionising the safety, stability and transparency of global financial markets.

data/industrial_users/en/ahrefs.md

@@ -0,0 +1,12 @@
+---
+name: Ahrefs
+description: > 
+  Ahrefs develops custom distributed petabyte-scale storage and runs an internet-wide crawler to collect the index of the whole Web
+site: "http://www.ahrefs.com"
+image: users/ahrefs.png
+locations: 
+  - Singapore
+  - United States
+---
+
+Ahrefs develops custom distributed petabyte-scale storage and runs an internet-wide crawler to collect the index of the whole Web. On top of that the company is building various analytical services for end-users. OCaml is the main language of the Ahrefs backend, which is currently processing up to 6 billion pages a day. Ahrefs is a multinational team with roots from Ukraine and offices in Singapore and San Francisco.

data/industrial_users/en/american-museum-of-natural-history.md

@@ -0,0 +1,11 @@
+---
+name: American Museum of Natural History
+description: > 
+  The Computational Sciences Department at the AMNH has been using OCaml for almost a decade in their software package POY for phylogenetic inference
+site: "https://www.amnh.org/our-research/computational-sciences"
+image: users/amnh.png
+locations: 
+  - United States
+---
+
+The Computational Sciences Department at the AMNH has been using OCaml for almost a decade in their software package [POY](https://github.com/amnh/poy5) for phylogenetic inference. See [AMNH's GitHub page](https://github.com/AMNH) for more projects.

data/industrial_users/en/anssi.md

@@ -0,0 +1,11 @@
+---
+name: ANSSI
+description: > 
+  The ANSSI core missions are: to detect and react to cyber attacks, to prevent threats, to provide advice and support to governmental entities and operators of critical infrastructure, and to keep companies and the general public informed about information security threats
+site: "https://www.ssi.gouv.fr/"
+image: users/anssi.png
+locations: 
+  - France
+---
+
+The ANSSI core missions are: to detect and react to cyber attacks, to prevent threats, to provide advice and support to governmental entities and operators of critical infrastructure, and to keep companies and the general public informed about information security threats. See [ANSII's GitHub page](https://github.com/anssi-fr) for some of its OCaml software.

data/industrial_users/en/arena.md

@@ -0,0 +1,11 @@
+---
+name: Arena
+description: > 
+  Arena helps organizations hire the right people.
+site: "http://www.arena.io"
+image: users/arena.jpg
+locations: 
+  - United States
+---
+
+Arena helps organizations hire the right people. We do that by applying big data and predictive analytics to the hiring process. This results in less turnover for our clients and less discrimination for individuals. We use OCaml for all of our backend development.

data/industrial_users/en/be-sport.md

@@ -0,0 +1,13 @@
+---
+name: Be Sport
+description: > 
+  Be Sport's mission is to enhance the value that sport brings to our lives with appropriate use of digital and social media innovations
+site: "https://besport.com/"
+image: users/besport.png
+locations: 
+  - France
+---
+
+Be Sport's mission is to enhance the value that sport brings to our lives with appropriate use of digital and social media innovations.
+
+Be Sport is a 100% [OCaml](//ocaml.org/) and [OCsigen](https://ocsigen.org) project, leveraged as the only building blocks to develop the platform. 

data/industrial_users/en/bloomberg.md

@@ -0,0 +1,11 @@
+---
+name: Bloomberg L.P.
+description: > 
+  Bloomberg, the global business and financial information and news leader, gives influential decision makers a critical edge by connecting them to a dynamic network of information, people and ideas
+image: users/bloomberg.jpg
+site: "http://www.bloomberg.com"
+locations: 
+  - United States
+---
+
+Bloomberg, the global business and financial information and news leader, gives influential decision makers a critical edge by connecting them to a dynamic network of information, people and ideas. Bloomberg employs OCaml in an advanced financial derivatives risk management application delivered through its Bloomberg Professional service.

data/industrial_users/en/cacaoweb.md

@@ -0,0 +1,12 @@
+---
+name: CACAOWEB
+description: > 
+  Cacaoweb is developing an application platform of a new kind. It runs on top of our peer-to-peer network, which happens to be one of the largest in the world
+site: "http://cacaoweb.org/"
+image: users/cacaoweb.png
+locations: 
+  - United Kingdom
+  - Hong Kong
+---
+
+Cacaoweb is developing an application platform of a new kind. It runs on top of our peer-to-peer network, which happens to be one of the largest in the world. The capabilities of the platform are diverse and range from multimedia streaming to social communication, offline storage or data synchronisation. We design and implement massively distributed data stores, programming languages, runtime systems and parallel computation frameworks.

data/industrial_users/en/cea.md

@@ -0,0 +1,11 @@
+---
+name: CEA
+description: > 
+  CEA is a French state company, member of the OCaml Consortium.
+site: "http://cea.fr/"
+image: users/cea.png
+locations: 
+  - France
+---
+
+CEA is a French state company, member of the OCaml Consortium. It uses OCaml mainly to develop a platform dedicated to source-code analysis of C software, called [Frama-C](http://frama-c.com).

data/industrial_users/en/citrix.md

@@ -0,0 +1,11 @@
+---
+name: Citrix
+description: > 
+  Citrix uses OCaml in XenServer, a world-class server virtualization system.
+image: users/citrix.png
+site: "http://www.citrix.com"
+locations: 
+  - United Kingdom
+---
+
+Citrix uses OCaml in XenServer, a world-class server virtualization system. Most components of XenServer are released as open source. The open-source XenServer toolstack components implemented in OCaml are bundled in the [XS-opam](https://github.com/xapi-project/xs-opam) repository on GitHub.

data/industrial_users/en/coherent-graphics.md

@@ -0,0 +1,11 @@
+---
+name: Coherent Graphics Ltd
+description: > 
+  Coherent Graphics is a developer of both server tools and desktop software for the processing of PDF documents
+site: "http://www.coherentpdf.com/"
+image: users/coherent.png
+locations: 
+  - United Kingdom
+---
+
+Coherent Graphics is a developer of both server tools and desktop software for the processing of PDF documents. We use OCaml as a general-purpose high level language, chosen for its expressiveness and speed.

data/industrial_users/en/cryptosense.md

@@ -0,0 +1,11 @@
+---
+name: Cryptosense
+description: > 
+  Cryptosense creates security analysis software with a particular focus on cryptographic systems
+site: "http://www.cryptosense.com/"
+image: users/cryptosense.png
+locations: 
+  - France
+---
+
+Based in Paris, France, Cryptosense creates security analysis software with a particular focus on cryptographic systems. A spin-off of the institute for computer science research (Inria), Cryptosense’s founders combine more than 40 years experience in research and industry. Cryptosense provides its solutions to an international clientèle in particular in the financial, industrial and government sectors.

data/industrial_users/en/dassault.md

@@ -0,0 +1,11 @@
+---
+name: Dassault Systèmes
+description: > 
+  Dassault Systèmes, the 3DEXPERIENCE Company, provides businesses and people with virtual universes to imagine sustainable innovations.
+site: "http://www.3ds.com/fr/"
+image: users/dassault.png
+locations: 
+  - France
+---
+
+Dassault Systèmes, the 3DEXPERIENCE Company, provides businesses and people with virtual universes to imagine sustainable innovations.

data/industrial_users/en/dernier-cri.md

@@ -0,0 +1,11 @@
+---
+name: Dernier Cri
+description: > 
+  Dernier Cri is a French company based in Lille and Paris using functional programming to develop web and mobile applications.
+site: "https://derniercri.io"
+image: users/derniercri.png
+locations: 
+  - France
+---
+
+Dernier Cri is a French company based in Lille and Paris using functional programming to develop web and mobile applications. OCaml is principally used to develop internal tools.

data/industrial_users/en/digirati-dba-hostnet.md

@@ -0,0 +1,11 @@
+---
+name: Digirati dba Hostnet
+description: > 
+  Digirati dba Hostnet is a web hosting company.
+site: "http://www.hostnet.com.br/"
+image: users/hostnet.gif
+locations: 
+  - Brazil
+---
+
+Digirati dba Hostnet is a web hosting company. We use OCaml mostly for internal systems programming and infrastructure services. We have also contributed to the community by releasing a few open source [OCaml libraries](https://github.com/andrenth).

data/industrial_users/en/docker.md

@@ -0,0 +1,11 @@
+---
+name: Docker, Inc.
+description: > 
+  Docker provides an integrated technology suite that enables development and IT operations teams to build, ship, and run distributed applications anywhere
+image: users/docker.png
+site: "http://www.docker.com"
+locations: 
+  - United States
+---
+
+Docker provides an integrated technology suite that enables development and IT operations teams to build, ship, and run distributed applications anywhere. Their native [applications for Mac and Windows](https://blog.docker.com/2016/03/docker-for-mac-windows-beta/), use OCaml code taken from the [MirageOS](https://mirage.io) library operating system project. 

data/industrial_users/en/esterel-technologies.md

@@ -0,0 +1,11 @@
+---
+name: Esterel Technologies
+description: > 
+  Esterel Technologies is a leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial and automotive domains
+site: "http://www.esterel-technologies.com/"
+image: users/esterel.jpg
+locations: 
+  - France
+---
+
+Esterel Technologies is a leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial and automotive domains.

data/industrial_users/en/facebook.md

@@ -0,0 +1,10 @@
+---
+name: Facebook
+description: Facebook has built a number of major development tools using OCaml
+image: users/facebook.png
+site: "https://www.facebook.com/"
+locations: 
+  - United States
+---
+
+Facebook has built a number of major development tools using OCaml. [Hack](http://hacklang.org) is a compiler for a variant of PHP that aims to reconcile the fast development cycle of PHP with the discipline provided by static typing. [Flow](http://flowtype.org) is a similar project that provides static type checking for Javascript.  Both systems are highly responsive, parallel programs that can incorporate source code changes in real time. [Pfff](https://github.com/facebook/pfff/wiki/Main) is a set of tools for code analysis, visualizations, and style-preserving source transformations, written in OCaml, but supporting many languages.

data/industrial_users/en/fasoo.md

@@ -0,0 +1,11 @@
+---
+name: Fasoo
+description: > 
+  Fasoo uses OCaml to develop a static analysis tool.
+site: "http://www.fasoo.com"
+image: users/fasoo.png
+locations: 
+  - Korea
+---
+
+Fasoo uses OCaml to develop a static analysis tool.

data/industrial_users/en/flying-frog-consultancy.md

@@ -0,0 +1,11 @@
+---
+name: Flying Frog Consultancy
+description: > 
+  Flying Frog Consultancy Ltd. consult and write books and software on the use of OCaml in the context of scientific computing.
+site: "http://www.ffconsultancy.com"
+image: users/flying-frog.png
+locations: 
+  - United Kingdom
+---
+
+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.

data/industrial_users/en/forallsecure.md

@@ -0,0 +1,11 @@
+---
+name: ForAllSecure
+description: > 
+  ForAllSecure's mission is to test the world's software and provide actionable information to our customers.
+site: "http://forallsecure.com"
+image: users/forallsecure.svg
+locations: 
+  - United States
+---
+
+ForAllSecure's mission is to test the world's software and provide actionable information to our customers. We have started with Linux. Our mission with Linux is to test all programs in current distributions, such as Debian, Ubuntu, and Red Hat. With time, we will cover other platforms, such as Mac, Windows, and mobile. In the meantime, we promise to do one thing well.

data/industrial_users/en/framtidsforum.md

@@ -0,0 +1,10 @@
+---
+name: Framtidsforum
+description: > 
+  Framtidsforum I&M sells ExcelEverywhere, which creates web pages that look and function the same as your MS Excel spreadsheet
+site: "http://www.exceleverywhere.com"
+locations: 
+  - Sweden
+---
+
+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.

data/industrial_users/en/galois.md

@@ -0,0 +1,11 @@
+---
+name: Galois
+description: > 
+  Galois has developed a domain specific declarative language for cryptographic algorithms.
+site: "http://www.galois.com"
+image: users/galois.png
+locations: 
+  - United States
+---
+
+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.

data/industrial_users/en/incubaid.md

@@ -0,0 +1,12 @@
+---
+name: Incubaid
+description: > 
+  Incubaid has developed Arakoon, a distributed key-value store that guarantees consistency above anything else.
+site: "http://incubaid.com"
+image: users/Incubaid.png
+locations: 
+  - Belgium
+---
+
+Incubaid has developed <a href="https://github.com/Incubaid/arakoon">Arakoon</a>, a distributed key-value store that guarantees consistency above anything else. We created Arakoon due to a lack of existing solutions fitting our requirements, and is available as Open Source software.
+

data/industrial_users/en/issuu.md

@@ -0,0 +1,11 @@
+---
+name: Issuu
+description: > 
+  Issuu is a digital publishing platform delivering exceptional reading experiences of magazines, catalogues, and newspapers
+site: "http://issuu.com"
+image: users/issuu.gif
+locations: 
+  - Denmark
+---
+
+Issuu is a digital publishing platform delivering exceptional reading experiences of magazines, catalogues, and newspapers. Each month Issuu serves over 6 billion page views and 60 million users through their worldwide network. OCaml is used as part of the server-side systems, platforms, and web applications. The backend team is relatively small and the simplicity and scalability of both systems and processes are of vital importance.

data/industrial_users/en/jane-street.md

@@ -0,0 +1,13 @@
+---
+name: Jane Street
+description: > 
+  Jane Street is a quantitative trading firm that operates around the clock and around the globe
+site: "http://janestreet.com"
+image: users/jane-street.jpg
+locations: 
+  - United States
+  - United Kingdom
+  - Hong Kong
+---
+
+Jane Street is a quantitative 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. They're the largest commercial user of OCaml, using it for everything from research tools to trading systems to systems infrastructure to accounting systems. Jane Street has over 400 OCaml programmers and over 15 million lines of OCaml, powering a technology platform that trades billions of dollars every day. Half a million lines of their code are released [open source](http://opensource.janestreet.com), and they've created key parts of the open-source OCaml ecosystem, like [Dune](http://dune.build). You can learn more by checking out their [tech blog](http://blog.janestreet.com).

data/industrial_users/en/kong.md

@@ -0,0 +1,11 @@
+---
+name: Kong
+description: > 
+  Kong makes it easy to distribute, monetize, manage and consume cloud APIs.
+site: "http://www.konghq.com"
+image: users/mashape.png
+locations: 
+  - United States
+---
+
+Kong makes it easy to distribute, monetize, manage and consume cloud APIs. Mashape is building a world-class marketplace for cloud APIs driven by a passionate community of developers from all over the world as well as enterprise API management and analytics products. We use OCaml in our [APIAnalytics](http://apianalytics.com) product — as part of a mission-critical, lightweight HTTP proxy.

data/industrial_users/en/lexifi.md

@@ -0,0 +1,11 @@
+---
+name: LexiFi
+description: > 
+  LexiFi is an innovative provider of software applications and infrastructure technology for the capital markets industry.
+site: "http://www.janestreet.com"
+image: users/lexifi.png
+locations: 
+  - France
+---
+
+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.

data/industrial_users/en/matrix-lead.md

@@ -0,0 +1,12 @@
+---
+name: Matrix Lead
+description: > 
+  Matrix Lead provides professionals and companies with leading technologies and solutions for spreadsheets. 
+site: "http://www.matrixlead.com"
+image: users/matrixlead.png
+locations: 
+  - France
+  - China
+---
+
+Matrix Lead provides professionals and companies with leading technologies and solutions for spreadsheets. We create a range of software to help users better build, verify, optimize and manage their spreadsheets. Our flagship product [10 Studio](https://www.10studio.tech) is a Microsoft Excel add-in that combines our several advanced tools, such as formula editor and spreadsheet verificator. The kernel of our tools is an analyzer that analyzes different properties of spreadsheets (including formulas and VBA macros) especially by abstract interpretation-based static analysis. It was initially developed in the Antiques team of Inria and written in OCaml. Then, we wrap web or .NET languages around the analyzer to make ready-to-use tools.

data/industrial_users/en/medit.md

@@ -0,0 +1,11 @@
+---
+name: MEDIT
+description: > 
+  MEDIT develops SuMo, an advanced bioinformatic system, for the analysis of protein 3D structures and the identification of drug-design targets. 
+site: "http://www.medit-pharma.com/"
+image: users/medit.jpg
+locations: 
+  - France
+---
+
+MEDIT develops [SuMo, an advanced bioinformatic system]("http://mjambon.com/") 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-modeling packages.

data/industrial_users/en/mount-sinai.md

@@ -0,0 +1,11 @@
+---
+name: Mount Sinai
+description: > 
+  The Hammer Lab at Mount Sinai develops and uses Ketrew for managing complex bioinformatics workflows.
+site: "http://www.mountsinai.org"
+image: users/mount-sinai.png
+locations: 
+  - United States
+---
+
+The [Hammer Lab]("http://www.hammerlab.org") at Mount Sinai develops and uses [Ketrew]("https://github.com/hammerlab/ketrew") for managing complex bioinformatics workflows. Ketrew includes an embedded domain-specific language to simplify the specification of workflows and an engine for the execution of workflows. Ketrew can be run as a command-line application or as a service.

data/industrial_users/en/mr-number.md

@@ -0,0 +1,11 @@
+---
+name: Mr. Number
+description: > 
+  Mr. Number started as a Silicon Valley startup and developed the Mr. Number app for call blocking, later acquired by WhitePages.
+site: "http://mrnumber.com/"
+image: users/mrnumber.jpg
+locations: 
+  - United States
+---
+
+Mr. Number started as a Silicon Valley startup and developed the Mr. Number app for call blocking, later [acquired by WhitePages](http://allthingsd.com/20130601/whitepages-scoops-up-mr-number-an-android-app-for-blocking-unwanted-calls/). OCaml is used on the server-side as the glue between the various third-party components and services.</p>