OCamlPro

drom

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

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

directories

directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG Base Directory Specification and xdg-user-dirs on Linux, Known Folders on Windows, Standard Directories on macOS.

ocaml-solidity

Ocaml-solidity provides a Solidity parser and typechecker

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_pgocaml

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

cheat-sheets

header-check

The header-check tool checks all source headers in a project using checksums

autofonce

A modern runner for GNU Autoconf testsuites in m4

gnucobol-docs

External Documentation of the GnuCOBOL Project

gnucobol3

Yet another attempt with a longer history

merlin

Context sensitive completion for OCaml in Vim and Emacs

opam-cross-osx

opam-cross-windows

An OCaml cross-toolchain for Windows and several useful libraries

ozulip

OCaml bindings to Zulip API

stage-adrien-simonnet

Heuristique d'inlining complexe

str-cursor

A Rust crate offering a cursor (or highlight) for str slices.

superbol-vscode-debug

GnuCOBOL debugger

wasocaml-demo

wasocaml-opam