OCaml Archives - LinuxLinks

google-drive-ocamlfuse – FUSE filesystem over Google Drive

google-drive-ocamlfuse is a FUSE-based file system backed by Google Drive, written in OCaml. It lets you mount your Google Drive on Linux.

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.