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

Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | 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/owi

Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife

OCamlPro/alt-ergo

OCamlPro public development repository for Alt-Ergo

OCamlPro/ocp-index

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

OCamlPro/wasocaml

OCamlPro/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.

OCamlPro/superbol-studio-oss

Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server

OCamlPro/gnucobol

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

OCamlPro/ez_api

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

OCamlPro/ocb

ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.

OCamlPro/ocplib-simplex

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

OCamlPro/ezjs

Some useful libraries to work with `js_of_ocaml`

OCamlPro/ocaml-ancient

trial at reviving the ancient library

OCamlPro/operf-micro

A set of micro-benchmarks for OCaml compiler

OCamlPro/gnucobol-contrib

GIT Mirror of the GnuCOBOL contributions tree

OCamlPro/ezjs_blockies

Bindings for Blockies

OCamlPro/ezjs_extension

Binding for Chrome and Firefox extension API

OCamlPro/cc-carddemo-app

Deployment of Carddemo on Clever Cloud + SuperBOL

OCamlPro/cheat-sheets

OCamlPro/ctypes-gen

Generates C structure printer from include file declarations

OCamlPro/ppaqse-lang

OCamlPro/.github

OCamlPro/cc-cobol-vm

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/ocaml.org

The official OCaml website.

OCamlPro/opam-cross-osx

OCamlPro/opam-cross-windows

An OCaml cross-toolchain for Windows and several useful libraries

OCamlPro/superbol-vscode-debug

GnuCOBOL debugger