OCaml Archives - Page 2 of 3

Coq – formal proof management system

Coq is a formal proof management system. This is free and open source software developed by a wide range of institutions.

morph is a web framework built on the notion of transforming requests and responses.

ocaml-webmachine is a layer on top of cohttp that implements a state-machine-based HTTP request processor.

Opium is a Sinatra like web toolkit for OCaml. The toolkit is based on http/af and lwt.

Eliom is a framework for building client/server Web and mobile applications in OCaml.

Dream is a tidy, feature-complete web framework. It adheres to base OCaml types as much as possible.

Finch is billed as a simple and fast site generator. It can be used as a generic static site generator using Markdown files.

Stone is a static website generator written in the OCaml programming language.

Canopy is an attempt at writing a blog-engine based on Git using MirageOS. Canopy is free and open source software.

Stog is a static web site compiler. It is able to handle blog posts as well as regular pages or any XML document in general.