Skip to content
@OCamlPro

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.

OCamlPro Logo

OCamlPro is a French software company, with a strong expertise in programming languages & formal methods, and 10+ years' experience in state-of-the-art developments. Open-source is part of our DNA!

We have developed an expertise in several programming languages, and of course, we are always happy to learn new ones or even create them!

Here is a list of languages that we have used or developed tooling for:

  • OCaml: we develop most of our language code in OCaml, and participate in the development of an optimizing compiler for OCaml

  • Rust: our Red Iron Team develops our performance-critical code in Rust

  • COBOL: as part of our SuperBOL project, we modernize tooling for COBOL power users, and participate in the maintainance of GnuCOBOL

  • M-lang: we work on the development of a production ready version of M-lang

  • Coq: we use Coq to prove Cybersecurity guarrantees on code

  • WebAssembly (Wasm): we work on tooling to target Wasm from other languages and to perform bug finding on them by performing various Wasm static analysis such as symbolic execution

  • Solidity: we have developed tooling for several smart contract programming languages, among which Solidity, Liquidity, Michelson.

We also maintain an automatic theorem prover, called Alt-Ergo, and used to verify software by different platform such as TIS Analyzer, Spark or Frama-C.

Pinned Loading

  1. drom drom Public

    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…

    OCaml 184 21

  2. alt-ergo alt-ergo Public

    OCamlPro public development repository for Alt-Ergo

    OCaml 133 33

  3. opam-bin opam-bin Public

    Binary packages for OPAM with local and remote repositories

    OCaml 16 5

  4. owi owi Public

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

    OCaml 140 19

  5. ocaml-canvas ocaml-canvas Public

    The OCaml-Canvas library provides a portable Canvas for OCaml

    C 59 8

  6. ocaml-solidity ocaml-solidity Public

    Ocaml-solidity provides a Solidity parser and typechecker

    OCaml 30 10

Repositories

Showing 10 of 216 repositories
  • alt-ergo Public

    OCamlPro public development repository for Alt-Ergo

    OCamlPro/alt-ergo’s past year of commit activity
    OCaml 133 33 89 17 Updated Jan 27, 2025
  • gnucobol Public

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

    OCamlPro/gnucobol’s past year of commit activity
    C 24 LGPL-3.0 25 18 (1 issue needs help) 31 Updated Jan 27, 2025
  • superbol-studio-oss Public

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

    OCamlPro/superbol-studio-oss’s past year of commit activity
    OCaml 25 13 48 (2 issues need help) 8 Updated Jan 27, 2025
  • gnucobol-docs Public

    External Documentation of the GnuCOBOL Project

    OCamlPro/gnucobol-docs’s past year of commit activity
    TeX 0 1 0 2 Updated Jan 24, 2025
  • ocp-indent Public

    Indentation tool for OCaml, to be used from editors like Emacs and Vim.

    OCamlPro/ocp-indent’s past year of commit activity
    OCaml 201 65 48 7 Updated Jan 22, 2025
  • directories Public

    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/directories’s past year of commit activity
    OCaml 34 ISC 3 7 0 Updated Jan 20, 2025
  • gnucobol-contrib Public

    GIT Mirror of the GnuCOBOL contributions tree

    OCamlPro/gnucobol-contrib’s past year of commit activity
    COBOL 4 3 0 1 Updated Jan 19, 2025
  • owi Public

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

    OCamlPro/owi’s past year of commit activity
    OCaml 140 AGPL-3.0 19 94 (23 issues need help) 13 Updated Jan 15, 2025
  • operf-micro Public

    A set of micro-benchmarks for OCaml compiler

    OCamlPro/operf-micro’s past year of commit activity
    OCaml 8 MIT 5 3 0 Updated Jan 8, 2025
  • ocb Public

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

    OCamlPro/ocb’s past year of commit activity
    Standard ML 21 ISC 2 2 0 Updated Jan 3, 2025

Top languages

Loading…

Most used topics

Loading…