Rocq Prover is a formal proof management system. This is free and open source software developed by a wide range of institutions.
Read more
Tag: OCaml
morph – intuitive, easy to use web framework
morph is a web framework built on the notion of transforming requests and responses.
Read more
ocaml-webmachine – REST toolkit for OCaml
ocaml-webmachine is a layer on top of cohttp that implements a state-machine-based HTTP request processor.
Read more
Opium – Sinatra like web toolkit
Opium is a Sinatra like web toolkit for OCaml. The toolkit is based on http/af and lwt.
Read more
Eliom – framework for building client/server Web and mobile applications
Eliom is a framework for building client/server Web and mobile applications in OCaml.
Read more
Dream – tidy web framework for OCaml and ReasonML
Dream is a tidy, feature-complete web framework. It adheres to base OCaml types as much as possible.
Read more
Finch – simple and fast site generator
Finch is billed as a simple and fast site generator. It can be used as a generic static site generator using Markdown files.
Read more
Stone – static website generator
Stone is a static website generator written in the OCaml programming language.
Read more
Canopy – git-blogging unikernel
Canopy is an attempt at writing a blog-engine based on Git using MirageOS. Canopy is free and open source software.
Read more
Stog – static web site compiler
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.
Read more
llpp – fast document viewer based on MuPDF
llpp is a fast, lightweight MuPDF-based viewer for PDF, EPUB, XPS and CBZ files with keyboard controls, OpenGL rendering and custom layouts.
Read more
GeneWeb – genealogy software with a web interface
GeneWeb manages large genealogical databases with an editable web interface, advanced relationship calculations and GEDCOM exchange.
Read more
orpie – curses-based RPN calculator
orpie is a curses-based RPN calculator. The interface is similar to that of modern Hewlett-Packard calculators.
Read more
Excellent Free Tutorials to Learn OCaml
The OCaml system is the main implementation of the Caml language. It has a very strong type-checking system, offers a powerful module system, and more. Here’s good OCaml tutorials.
Read more
6 Excellent Free Books to Learn OCaml
The OCaml system is the main implementation of the Caml language. It has a very strong type-checking system, offers a powerful module system, automatic memory management, first-class functions, and adds a full-fledged object-oriented layer.
Read more
Essential System Tools: Unison – Excellent Console and Graphical File Synchronization Software
Unison is a file-synchronization tool that allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought up to date by propagating the changes in each replica to the other.
Read more