OCamlPro

icon indicating a website link https://www.ocamlpro.com/ icon indicating an email [email protected]

icon location Paris & Saclay icon location 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

numcaml

36
Stars
2
Forks
Watchers

Scientific Computing Tools For OCaml

verified publisher icon OCamlPro

ocaml-cheat-sheets

123
Stars
11
Forks
Watchers

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

verified publisher icon OCamlPro

ocaml-solidity

25
Stars
8
Forks
Watchers

Ocaml-solidity provides a Solidity parser and typechecker

verified publisher icon OCamlPro

ocaml-top

61
Stars
7
Forks
Watchers

A simple cross-platform OCaml code editor built for top-level evaluation.

verified publisher icon OCamlPro

OCamlPro-OCaml-Branch

31
Stars
2
Forks
Watchers

This is a fork of the inline-more branch in the OCaml SVN repository.

verified publisher icon OCamlPro

ocb

22
Stars
2
Forks
Watchers

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

verified publisher icon OCamlPro

owi

127
Stars
17
Forks
Watchers

WebAssembly Swissknife & cross-language bugfinder

verified publisher icon OCamlPro

techelson

18
Stars
5
Forks
Watchers

A test execution engine for Michelson smart contracts.

verified publisher icon OCamlPro

superbol-studio-oss

18
Stars
11
Forks
Watchers

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

verified publisher icon OCamlPro

gnucobol

15
Stars
17
Forks
Watchers

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

verified publisher icon OCamlPro