• HOL Light

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

  • Referenced in 256 articles [sw06363]
  • extends the core Caml language with a fully-fledged object-oriented layer, as well...
  • Timbuk

  • Referenced in 43 articles [sw06351]
  • standalone tools and a bunch of Objective Caml functions for basic manipulation on Tree Automata...
  • LEO-II

  • Referenced in 42 articles [sw00512]
  • syntax. LEO-II is implemented in Objective CAML and its problem representation language is TPTP...
  • Satallax

  • Referenced in 37 articles [sw06849]
  • these clauses. Satallax is implemented in Objective Caml. You can run Satallax online...
  • JoCaml

  • Referenced in 23 articles [sw02065]
  • JoCaml is an extension of the Objective Caml language. It extends OCaml with support...
  • FreshOCaml

  • Referenced in 7 articles [sw22615]
  • Fresh Objective Caml. Fresh O’Caml is a programming language which aims to provide ... features of the Objective Caml language together with: types of names for representing; ject-level ... bindable names; abstraction expressions for representing object-level binding; pattern-matching for deconstructing abstraction values...
  • Zen

  • Referenced in 7 articles [sw10732]
  • core subset of the Objective Caml programming language under the so-called revised syntax...
  • RZ

  • Referenced in 6 articles [sw08944]
  • logic into annotated interface code in Objective Caml. The system supports a rich input language...
  • AtomCaml

  • Referenced in 3 articles [sw22682]
  • evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional ... obstruction-freedom. Our implementation extends the Objective Caml bytecode compiler and run-time system ... Caml language and the Objective Caml implementation’s commitment to a uniprocessor execution model...
  • Sibyl

  • Referenced in 5 articles [sw11995]
  • Publications page. Sibyl is implemented in Objective Caml and runs under Linux. Some parts...
  • Aspectual Caml

  • Referenced in 4 articles [sw22681]
  • strongly-typed functional language Objective Caml with two AOP mechanisms similar to those in AspectJ...
  • BSMLlib

  • Referenced in 3 articles [sw22233]
  • bulk-ynchronous parallel (BSP) algorithms in Objective CAML. This article demonstrates the expressivity of BIMLlib...
  • daTac

  • Referenced in 3 articles [sw26325]
  • clausal simplification. daTac is written in Objective Caml 3.04 (22000 lines), a functional language...
  • Ocsigen

  • Referenced in 3 articles [sw18269]
  • framework for Web programming, written in Objective Caml. It provides a fully featured Web server...
  • Pidgin ML

  • Referenced in 2 articles [sw22684]
  • Pidgin ML subset of the Objective Caml functional programming language...
  • dypgen

  • Referenced in 2 articles [sw24318]
  • parser generator for Objective Caml, it is able to generate self-extensible parsers (also called...
  • Quantlib

  • Referenced in 1 article [sw27755]
  • different languages such as C#, Objective Caml, Java, Perl, Python, GNU R, Ruby, and Scheme ... available. The reposit project facilitates deployment of object libraries to end user platforms...
  • DDDLIB

  • Referenced in 1 article [sw00192]
  • interfaces for C++, Standard ML and Objective Caml...
  • diy7

  • Referenced in 1 article [sw27821]
  • litmus7. The software is written in Objective Caml, and released as sources. The web site...