OCamlPro

alt-ergo

OCamlPro public development repository for Alt-Ergo

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.

liquidity

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

ocaml-canvas

The OCaml-Canvas library provides a portable Canvas for OCaml

ocaml-cheat-sheets

OCaml Documentations as one-pagers, easy to keep useful commands in mind

ocaml-solidity

Ocaml-solidity provides a Solidity parser and typechecker

ocp-indent

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

ollvm

An higher-level LLVM binding for OCaml

opam-bin

Binary packages for OPAM with local and remote repositories

owi

WebAssembly Swissknife

OCamlPro/ocp-indent

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

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.

OCamlPro/alt-ergo

OCamlPro public development repository for Alt-Ergo

OCamlPro/owi

WebAssembly Swissknife

OCamlPro/ocp-index

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

OCamlPro/ocaml-canvas

The OCaml-Canvas library provides a portable Canvas for OCaml

OCamlPro/ez_api

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

OCamlPro/superbol-studio-oss

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

OCamlPro/gnucobol

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

OCamlPro/ocplib-simplex

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

OCamlPro/ez_toml

A library to parse and print TOML files

OCamlPro/opam-wix

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

OCamlPro/niagara-lang

Compiler for the Niagara language

OCamlPro/cobol-cheat-sheets

A set of cheat-sheets for the COBOL language

OCamlPro/gnucobol-contrib

GIT Mirror of the GnuCOBOL contributions tree

OCamlPro/geneweb

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

OCamlPro/ocp-opam-repository

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

OCamlPro/superbol-artefacts

Binary artefacts for SuperBOL (COBOL projects at OCamlPro)

OCamlPro/.github

OCamlPro/autofonce

A modern runner for GNU Autoconf testsuites in m4

OCamlPro/ez_mapfile

Data structures stored as files, mapped in memory

OCamlPro/gixsql

GixSQL is an ESQL preprocessor and a series of runtime libraries to enable GnuCOBOL to access PostgreSQL, ODBC, MySQL, Oracle and SQLite databases.

OCamlPro/gnucobol-docs

External Documentation of the GnuCOBOL Project

OCamlPro/gnucobol4

GIT Mirror of the GnuCOBOL Project

OCamlPro/merlin

Context sensitive completion for OCaml in Vim and Emacs

OCamlPro/module-graph

Show dependencies between modules in an OCaml project

OCamlPro/ocaml-ancient

trial at reviving the ancient library

OCamlPro/opam-cross-windows

An OCaml cross-toolchain for Windows and several useful libraries

OCamlPro/superbol-vscode-debug

GnuCOBOL debugger

OCamlPro/zarith_stubs_js

Javascripts stubs for the Zarith library