Editing OCaml (section)

==Software written in OCaml==
* Ahrefs, an [[Search engine optimization|SEO]] software product 
* [[Alt-Ergo]], a [[Satisfiability modulo theories|SMT solver]].
* [[Astrée (static analysis)|Astrée]], a [[Static program analysis|static analyzer]]
* [[Be Sport]], a [[Social networking service|social network]]
* [[Coccinelle (software)|Coccinelle]], a utility for [[program transformation|transforming]] the [[source code]] of [[C (programming language)|C]] programs.
* [[Rocq (software)|Rocq]] (previously known as ''Coq''), a [[formal proof]] [[management system]].
* Easycrypt, a [[Programming tool|toolset]] for writing [[Computer-assisted proof|computer-aided proofs]].<ref>{{Citation |title=EasyCrypt/easycrypt |date=2024-07-05 |url=https://github.com/EasyCrypt/easycrypt |access-date=2024-07-05 |publisher=EasyCrypt}}</ref>
* [[F*_(programming_language)|F*]], a high-level, multi-paradigm, functional and object-oriented programming language intended for [[Formal verification|program verification]].
* [[FFTW]], a [[library (computing)|library]] for computing [[discrete Fourier transform]]s. Several C routines have been generated by an OCaml program named {{OCaml|genfft}}.
* The web version of [[Facebook Messenger]].<ref>{{cite web|title=Messenger.com Now 50% Converted to Reason · Reason|url=https://reasonml.github.io/blog/2017/09/08/messenger-50-reason.html|website=reasonml.github.io|access-date=2018-02-27}}</ref>
* Flow, a [[static program analysis|static analyzer]] created at [[Facebook]] that infers and checks [[Type system#Static type checking|static types]] for [[JavaScript]].<ref>{{cite web|url=https://flow.org/en/|title=Flow: A Static Type Checker for JavaScript|website=Flow|access-date=10 February 2019|archive-date=8 April 2022|archive-url=https://web.archive.org/web/20220408204727/https://flow.org/en/|url-status=dead}}</ref>
* [[Ocsigen]], a [[Client–server model|client server]] Web and mobile development [[Application framework|framework]]
* [[Owl Scientific Computing]], a dedicated system for scientific and engineering computing.
* [[Frama-C]], a framework for analyzing C programs.
* [[GeneWeb]], free and open-source multi-platform genealogy software.
* The [[Hack (programming language)|Hack]] programming language compiler, created at Facebook, extending [[PHP]] with static types.
* The [[Haxe]] programming language compiler.
* [[HOL Light]], a formal proof assistant.
* Infer, a static analyzer created at Facebook for [[Java (programming language)|Java]], C, [[C++]], and [[Objective-C]], used to detect bugs in [[iOS]] and [[Android (operating system)|Android]] apps.<ref>{{cite web|url=https://fbinfer.com/|title=Infer static analyzer|website=Infer}}</ref>
* [[Liquidsoap]], a [[scripting language]] for generating multimedia streams.
* [[MirageOS]], a [[unikernel]] programming framework written in pure OCaml.
* [[MLdonkey]], a [[peer-to-peer file sharing]] application based on the [[EDonkey network]].
* [[Opa (programming language)|Opa]], a free and open-source programming language for web development.
* [[Reason_(programming_language) | Reason / ReScript]], a general-purpose, high-level, multi-paradigm, functional and object-oriented programming language.
* The [[Rust (programming language)|Rust]] compiler was [[Bootstrapping_(compilers)|initially implemented]] in OCaml before becoming [[Self-hosting (compilers)|self-hosting]].
* [[Tezos]], a self-amending smart contract platform using XTZ as a native currency.
* [[Unison (software)|Unison]], a [[file synchronization]] program to synchronize files between two directories.
* The reference interpreter for [[WebAssembly]], a low-level [[bytecode]] intended for execution inside [[web browser]]s.<ref>{{cite web|url=https://github.com/WebAssembly/spec|title=WebAssembly/spec: WebAssembly specification, reference interpreter, and test suite.|date=5 December 2019|publisher=[[World Wide Web Consortium]]|access-date=2021-05-14|via=GitHub}}</ref>
* [[Xen Cloud Platform]] (XCP), a [[turnkey]] [[virtualization]] solution for the [[Xen]] [[hypervisor]].