OCamlPro

https://www.ocamlpro.com/ [email protected]

Paris & Saclay OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10+ years' experience in state-of-the-art developments.

Results 20 repositories owned by


OCamlPro

liquidity

159

Stars

33

Forks

Watchers

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

alt-ergo

126

Stars

33

Forks

Watchers

OCamlPro public development repository for Alt-Ergo

satisfiability-modulo-theories

drom

154

Stars

17

Forks

Watchers

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 Gi...

dirdiff

25

Stars

1

Forks

Watchers

Efficiently compute the differences between two directories

directories

34

Stars

3

Forks

Watchers

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 Ba...

ez_api

18

Stars

13

Forks

Watchers

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

flow

16

Stars

0

Forks

Watchers

Adds static typing to JavaScript to improve developer productivity and code quality.

freeton_wallet

17

Stars

9

Forks

Watchers

The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.

memthol

28

Stars

3

Forks

Watchers

Memthol is a visualizer for memory profiling data generated from OCaml programs.

mikino_bin

21

Stars

2

Forks

Watchers

A simple induction and BMC engine.