Import consortium (ocaml#33)

data/industrial_users/en/aesthetic-integration.md

@@ -6,6 +6,7 @@ image: users/aesthetic-integration.png
 site: "http://www.aestheticintegration.com"
 locations: 
   - United Kingdom
+consortium: true
 ---
 
 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

@@ -7,6 +7,7 @@ image: users/ahrefs.png
 locations: 
   - Singapore
   - United States
+consortium: true
 ---
 
 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

@@ -6,6 +6,7 @@ site: "https://www.amnh.org/our-research/computational-sciences"
 image: users/amnh.png
 locations: 
   - United States
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "https://www.ssi.gouv.fr/"
 image: users/anssi.png
 locations: 
   - France
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://www.arena.io"
 image: users/arena.jpg
 locations: 
   - United States
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "https://besport.com/"
 image: users/besport.png
 locations: 
   - France
+consortium: true
 ---
 
 Be Sport's mission is to enhance the value that sport brings to our lives with appropriate use of digital and social media innovations.

data/industrial_users/en/bloomberg.md

@@ -6,6 +6,7 @@ image: users/bloomberg.jpg
 site: "http://www.bloomberg.com"
 locations: 
   - United States
+consortium: true
 ---
 
 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

@@ -7,6 +7,7 @@ image: users/cacaoweb.png
 locations: 
   - United Kingdom
   - Hong Kong
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://cea.fr/"
 image: users/cea.png
 locations: 
   - France
+consortium: true
 ---
 
 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

@@ -6,6 +6,7 @@ image: users/citrix.png
 site: "http://www.citrix.com"
 locations: 
   - United Kingdom
+consortium: true
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://www.coherentpdf.com/"
 image: users/coherent.png
 locations: 
   - United Kingdom
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://www.cryptosense.com/"
 image: users/cryptosense.png
 locations: 
   - France
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://www.3ds.com/fr/"
 image: users/dassault.png
 locations: 
   - France
+consortium: false
 ---
 
 Dassault Systèmes, the 3DEXPERIENCE Company, provides businesses and people with virtual universes to imagine sustainable innovations.

data/industrial_users/en/dernier-cri.md

@@ -6,6 +6,7 @@ site: "https://derniercri.io"
 image: users/derniercri.png
 locations: 
   - France
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://www.hostnet.com.br/"
 image: users/hostnet.gif
 locations: 
   - Brazil
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ image: users/docker.png
 site: "http://www.docker.com"
 locations: 
   - United States
+consortium: true
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://www.esterel-technologies.com/"
 image: users/esterel.jpg
 locations: 
   - France
+consortium: true
 ---
 
 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

@@ -5,6 +5,7 @@ image: users/facebook.png
 site: "https://www.facebook.com/"
 locations: 
   - United States
+consortium: true
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://www.fasoo.com"
 image: users/fasoo.png
 locations: 
   - Korea
+consortium: false
 ---
 
 Fasoo uses OCaml to develop a static analysis tool.

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

@@ -6,6 +6,7 @@ site: "http://www.ffconsultancy.com"
 image: users/flying-frog.png
 locations: 
   - United Kingdom
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://forallsecure.com"
 image: users/forallsecure.svg
 locations: 
   - United States
+consortium: false
 ---
 
 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

@@ -5,6 +5,7 @@ description: >
 site: "http://www.exceleverywhere.com"
 locations: 
   - Sweden
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://www.galois.com"
 image: users/galois.png
 locations: 
   - United States
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://incubaid.com"
 image: users/Incubaid.png
 locations: 
   - Belgium
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://issuu.com"
 image: users/issuu.gif
 locations: 
   - Denmark
+consortium: false
 ---
 
 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

@@ -8,6 +8,7 @@ locations:
   - United States
   - United Kingdom
   - Hong Kong
+consortium: true
 ---
 
 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/kernelize.md

@@ -0,0 +1,17 @@
+---
+name: Kernelize
+description: > 
+  Kernelyze has developed a novel approximation of two-variable functions
+  that achieves the smallest possible worst-case error among all rank-n
+  approximations.
+site: "https://kernelyze.com/"
+image: users/kernelyze-llc-logo.png
+locations: 
+  - United States
+consortium: true
+---
+
+
+Kernelyze has developed a novel approximation of two-variable functions
+that achieves the smallest possible worst-case error among all rank-n
+approximations.

data/industrial_users/en/kong.md

@@ -6,6 +6,7 @@ site: "http://www.konghq.com"
 image: users/mashape.png
 locations: 
   - United States
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://www.janestreet.com"
 image: users/lexifi.png
 locations: 
   - France
+consortium: true
 ---
 
 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

@@ -7,6 +7,7 @@ image: users/matrixlead.png
 locations: 
   - France
   - China
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://www.medit-pharma.com/"
 image: users/medit.jpg
 locations: 
   - France
+consortium: false
 ---
 
 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/microsoft.md

@@ -0,0 +1,11 @@
+---
+name: Microsoft
+description: > 
+  Facebook has built a number of major development tools using OCaml
+site: "http://www.microsoft.com"
+image: users/microsoft.png
+locations: 
+  - United States
+consortium: true
+---
+

data/industrial_users/en/mount-sinai.md

@@ -6,6 +6,7 @@ site: "http://www.mountsinai.org"
 image: users/mount-sinai.png
 locations: 
   - United States
+consortium: false
 ---
 
 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

@@ -6,6 +6,7 @@ site: "http://mrnumber.com/"
 image: users/mrnumber.jpg
 locations: 
   - United States
+consortium: false
 ---
 
 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>

data/industrial_users/en/mylife.md

@@ -6,6 +6,7 @@ site: "http://www.mylife.com/"
 image: users/mylife.jpg
 locations: 
   - United States
+consortium: false
 ---
 
 MyLife has developed 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.

data/industrial_users/en/narrow-gate-logic.md

@@ -6,6 +6,7 @@ site: "http://nglogic.com"
 image: users/nglogic.png
 locations: 
   - Poland
+consortium: false
 ---
 
 Narrow Gate Logic is a company using the OCaml language in business and non-business applications.

data/industrial_users/en/nomadic-labs.md

@@ -8,6 +8,7 @@ site: "http://www.nomadic-labs.com"
 image: users/nomadic-labs.png
 locations: 
   - "Paris, France"
+consortium: false
 ---
 
 Nomadic Labs houses a team focused on Research and Development. Our

data/industrial_users/en/ocamlpro.md

@@ -6,6 +6,7 @@ site: "http://www.ocamlpro.com"
 image: users/ocamlpro.png
 locations: 
   - France
+consortium: true
 ---
 
 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 expertise, tools and libraries long-term support, and specific developments to their applicative domains.

data/industrial_users/en/prudent.md

@@ -6,6 +6,7 @@ site: "http://www.prudentconsulting.com"
 image: users/prudent.jpg
 locations: 
   - United States
+consortium: false
 ---
 
 Prudent Consulting offers IT solutions to large and mid-sized organizations by combining industry experience and technology expertise to help our customers achieve business goals with speed, agility, and great impact.

data/industrial_users/en/psellos.md

@@ -6,6 +6,7 @@ site: "http://www.psellos.com"
 image: users/psellos.png
 locations: 
   - United States
+consortium: false
 ---
 
 Psellos is a small group of computer scientists who became intrigued by the idea of coding iOS apps in OCaml. It has worked out better than we expected (you can buy our apps in the iTunes App Store), and at least one other company sells apps built with our tools. Our most recent iOS cross compiler is derived from OCaml 4.00.0.

data/industrial_users/en/sakhalin.md

@@ -5,6 +5,7 @@ description: >
 site: "http://www.seaiq.com"
 locations: 
   - United States
+consortium: false
 ---
 
 Sakhalin develops marine charting apps for Apple iPads and iPhones. The full-featured apps display marine charts, GPS and onboard sensor data, Automatic Identification System, weather data, anchor monitoring, etc. The apps have a wide range of users, from occasional recreational boaters to professional river/harbor pilots that board large freighters. They are free to download and try (with a paid upgrade to enable all features). They are written almost entirely in Ocaml with a minor amount of glue to interface with IOS APIs. Ocaml was chosen because it

data/industrial_users/en/shiro-games.md

@@ -6,6 +6,7 @@ site: "http://www.shirogames.com"
 image: users/shirogames.png
 locations: 
   - France
+consortium: false
 ---
 
 Shiro Games is developing games using [Haxe](http://haxe.org/), a language built with a compiler written in OCaml.

data/industrial_users/en/simcorp.md

@@ -0,0 +1,12 @@
+---
+name: SimCorp
+description: > 
+  Multi-asset platform to support investment decision-making and innovation.
+site: "http://www.simcorp.com/"
+image: users/simcorp.png
+locations: 
+  - United States
+consortium: true
+---
+
+Multi-asset platform to support investment decision-making and innovation.

data/industrial_users/en/sleekersoft.md

@@ -6,6 +6,7 @@ site: "http://www.sleekersoft.com"
 image: users/sleekersoft.png
 locations: 
   - Australia
+consortium: false
 ---
 
 Shiro Games is developing games using [Haxe](http://haxe.org/), a language built with a compiler written in OCaml.

data/industrial_users/en/solvuu.md

@@ -6,6 +6,7 @@ site: "http://www.solvuu.com"
 image: users/solvuu.jpg
 locations: 
   - United States
+consortium: false
 ---
 
 Solvuu's software allows users to store big and small data sets, share the data with collaborators, execute computationally intensive algorithms and workflows, and visualize results. Its initial focus is on genomics data, which has important implications for healthcare, agriculture, and fundamental research. Virtually all of Solvuu's software stack is implemented in OCaml.

data/industrial_users/en/studio-associato-4sigma.md

@@ -6,6 +6,7 @@ site: "http://www.4sigma.it"
 image: users/4sigma.png
 locations: 
   - Italy
+consortium: false
 ---
 
 4Sigma is a small firm making websites and some interesting web applications. OCaml is not the main language used but it is used here and there, particularly in a small server that is a key component of a service we offer our customers.