OCamlPro
OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10+ years' experience in state-of-the-art developments.
Paris & Saclay
Pinned Repositories
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 & cross-language bugfinder
OCamlPro's Repositories
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/owi
WebAssembly Swissknife & cross-language bugfinder
OCamlPro/alt-ergo
OCamlPro public development repository for Alt-Ergo
OCamlPro/ocaml-canvas
The OCaml-Canvas library provides a portable Canvas for OCaml
OCamlPro/wasocaml
OCamlPro/superbol-studio-oss
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
OCamlPro/ez_api
Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.
OCamlPro/gnucobol
A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
OCamlPro/ezjs
Some useful libraries to work with `js_of_ocaml`
OCamlPro/ocplib-simplex
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
OCamlPro/gnucobol-contrib
GIT Mirror of the GnuCOBOL contributions tree
OCamlPro/ezjs_blockies
Bindings for Blockies
OCamlPro/cobol-cheat-sheets
A set of cheat-sheets for the COBOL language
OCamlPro/cc-carddemo-app
Deployment of Carddemo on Clever Cloud + SuperBOL
OCamlPro/ctypes-gen
Generates C structure printer from include file declarations
OCamlPro/superbol-artefacts
Binary artefacts for SuperBOL (COBOL projects at OCamlPro)
OCamlPro/www.typerex.org
OCamlPro/.github
OCamlPro/cc-cobol-vm
OCamlPro/drom-share
Share directory for `drom` (skeletons, licenses, etc.)
OCamlPro/drom-share-next
Share directory for `drom` (skeletons, licenses, etc.)
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/opam-cross-osx
OCamlPro/opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
OCamlPro/ppaqse-lang
OCamlPro/superbol-vscode-debug
GnuCOBOL debugger