• OCaml

  • Referenced in 256 articles [sw06363]
  • OCaml is the most popular variant of the Caml language. From a language standpoint ... polymorphic type system featuring type inference. The OCaml system is an industrial-strength implementation ... interactive read-eval-print loop (ocaml) for quick development and portability. The OCaml distribution includes...
  • HOL Light

  • Referenced in 253 articles [sw06580]
  • Light’s case this is Objective CAML (OCaml). Thanks to its adherence...
  • Why3

  • Referenced in 113 articles [sw04438]
  • programs directly and get correct-by-construction OCaml programs through an automated extraction mechanism. WhyML...
  • SLMC

  • Referenced in 69 articles [sw04604]
  • properties of systems. The implementation, written in OCAML, is mature and robust, available in open...
  • NLopt

  • Referenced in 60 articles [sw11789]
  • Guile, Julia, GNU R, Lua, and OCaml. A common interface for many different algorithms...
  • Ott

  • Referenced in 25 articles [sw00663]
  • LaTeX code for production-quality typesetting, and OCaml boilerplate. The main innovations are (1) metalanguage ... system proposals, and a large fragment of OCaml, with mechanised proofs of various soundness results...
  • JoCaml

  • Referenced in 23 articles [sw02065]
  • Objective Caml language. It extends OCaml with support for concurrency and synchronization, the distributed execution...
  • WhyML

  • Referenced in 22 articles [sw09709]
  • programs directly and get correct-by-construction OCaml programs via an automated extraction mechanism. WhyML...
  • Zenon

  • Referenced in 19 articles [sw06753]
  • proof system, which is able to produce OCaml code for execution and Coq code...
  • Eff

  • Referenced in 11 articles [sw22721]
  • code looks and feels like that of Ocaml because eff uses Ocaml syntax extended with ... types are similar to those of OCaml and other variants of ML in the sense...
  • Bedwyr

  • Referenced in 16 articles [sw09460]
  • possibly containing bindings. This system, written in OCaml, is a direct implementation of two recent...
  • F*

  • Referenced in 16 articles [sw27563]
  • programs can be extracted to efficient OCaml, F#, C or ASM code. This enables verifying...
  • Fiat

  • Referenced in 12 articles [sw21357]
  • Fiat can be extracted to an equivalent OCaml program that can be compiled...
  • Flow Caml

  • Referenced in 6 articles [sw08923]
  • consists in an extension of the OCaml with a type system tracing information flow ... Caml handles a large part of the OCaml language, including datatypes and pattern-matching, imperative ... standalone, batch-oriented compiler that produces regular OCaml code, or as an interactive, toplevel-based...
  • MetaOCaml

  • Referenced in 10 articles [sw09230]
  • multi-stage extension of the OCaml programming language, and provides three basic constructs called Brackets...
  • Camlp4

  • Referenced in 5 articles [sw17461]
  • programming languages. It provides a set of OCaml libraries that are used to define grammars ... domain-specific extensions of the syntax of OCaml. Camlp4 was part of the official OCaml...
  • js_of_ocaml

  • Referenced in 4 articles [sw22664]
  • ocaml is a compiler of OCaml bytecode to Javascript. It makes it possible ... Ocaml programs in a Web browser. Features: The whole language, and most of the standard ... standard installation of OCaml to compile your programs. In particular, you do not have ... library to use it with Js_of_ocaml. You just have to link your program...
  • OCaml-Java

  • Referenced in 3 articles [sw21578]
  • OCaml-Java: OCaml on the JVM. This article presents the OCaml-Java project whose goal ... allow compilation of OCaml sources into Java bytecodes. The ability to run OCaml code ... Java ecosystem lacking in the OCaml world. Most notably, this includes access to a great ... programming. In order to achieve this, the OCaml-Java project does three contributions...
  • FoCaLiZe

  • Referenced in 7 articles [sw12384]
  • proofs, a source file for the OCaml compiler to build the executable program, a source...
  • MoCHi

  • Referenced in 7 articles [sw21478]
  • software model checker for a subset of OCaml. MoCHi is based on higher-order model...