ocamlpro Goto Github PK

.github

ace-ocaml-devel

agrid

agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding or removing row/column at either end (one at a time).

alt-ergo

OCamlPro public development repository for Alt-Ergo

alt-ergo-docker-images

Generate light alt-ergo docker images

ansiterminal

Basic control of ANSI compliant terminals and the windows shell.

atable

autofonce

A modern runner for GNU Autoconf testsuites in m4

benchtop

A web interface for Benchpress

biblio-irill

bibliography for Irill

binary-repo-scripts

bitpack_serializer

This library provides functions for encoding efficiently simple OCaml data.

camelus

Bot posting reports on opam-repository pull-request using a web hook

cargo-graph

Display a graph from the Cargo packages in a Rust project

cheat-sheets

cobol-cheat-sheets

A set of cheat-sheets for the COBOL language

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dessiner

Un petit DSL dans OCaml pour dessiner

devex

devex-18-zk-contest

devex-27-recurring-payments

digodoc

Dig into an opam switch for doc

digodoc-index-api

API for digodoc's entries completion in DB

digodoc-search-api

API for querying digodoc DB

dirdiff

Efficiently compute the differences between two directories

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.

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.

drom-share

Share directory for `drom` (skeletons, licenses, etc.)

drom-test

ecore.rs

A parser for the Eclipse Modeling Framework Ecore format.