OCamlPro

ocp-indent

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

alt-ergo

OCamlPro public development repository for Alt-Ergo

owi

WebAssembly Swissknife

ocp-index

Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.

wasocaml

ez_api

Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.

superbol-studio-oss

Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP

gnucobol

A clone of the sourceforge GnuCOBOL compiler from COBOL to C.

ocplib-simplex

A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities

ez_toml

A library to parse and print TOML files

opam-wix

opam-wix is opam plugin that creates msi installation file to install packages and binaries on Windows.

niagara-lang

Compiler for the Niagara language

gnucobol-contrib

GIT Mirror of the GnuCOBOL contributions tree

timelines-cc-editor

geneweb

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

ocp-opam-repository

A repository for OCamlPro packages waiting for inclusion in opam-repository

.github

ANSITerminal

Basic control of ANSI compliant terminals and the windows shell.

autofonce

A modern runner for GNU Autoconf testsuites in m4

ez_mapfile

Data structures stored as files, mapped in memory

gnucobol-contrib2

Copy of SVN contrib of GnuCOBOL on Github

gnucobol-docs

External Documentation of the GnuCOBOL Project

gnucobol-docs2

A copy of the SVN code/external-doc of GnuCOBOL on Github

gnucobol4

GIT Mirror of the GnuCOBOL Project

module-graph

Show dependencies between modules in an OCaml project

ocaml-ancient

trial at reviving the ancient library

superbol-artefacts

Binary artefacts for SuperBOL (COBOL projects at OCamlPro)

superbol-vscode-debug

GnuCOBOL debugger

superbol-vscode-debug-deprecated

zarith_stubs_js

Javascripts stubs for the Zarith library