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.
README.md

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

  • Web Assembly (WASM): we work on tooling to target web assembly from other languages

  • 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 182 21

  2. alt-ergo alt-ergo Public

    OCamlPro public development repository for Alt-Ergo

    OCaml 128 33

  3. opam-bin opam-bin Public

    Binary packages for OPAM with local and remote repositories

    OCaml 18 5

  4. owi owi Public

    WebAssembly Swissknife & cross-language bugfinder

    OCaml 116 16

  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 31 10

Repositories

Showing 10 of 212 repositories
  • gnucobol Public

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

    OCamlPro/gnucobol’s past year of commit activity
    C 16 LGPL-3.0 20 17 23 Updated Aug 4, 2024
  • owi Public

    WebAssembly Swissknife & cross-language bugfinder

    OCamlPro/owi’s past year of commit activity
    OCaml 116 AGPL-3.0 16 61 (22 issues need help) 16 Updated Aug 4, 2024
  • alt-ergo Public

    OCamlPro public development repository for Alt-Ergo

    OCamlPro/alt-ergo’s past year of commit activity
    OCaml 128 33 84 26 Updated Aug 2, 2024
  • 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 19 11 28 (2 issues need help) 11 Updated Aug 2, 2024
  • drom-share Public

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

    OCamlPro/drom-share’s past year of commit activity
    OCaml 0 5 5 2 Updated Jul 31, 2024
  • opam-cross-windows Public Forked from ocaml-cross/opam-cross-windows

    An OCaml cross-toolchain for Windows and several useful libraries

    OCamlPro/opam-cross-windows’s past year of commit activity
    Shell 0 33 0 0 Updated Jul 30, 2024
  • opam-cross-osx Public
    OCamlPro/opam-cross-osx’s past year of commit activity
    Shell 0 2 0 0 Updated Jul 30, 2024
  • superbol-vscode-debug Public Forked from OlegKunitsyn/gnucobol-debug

    GnuCOBOL debugger

    OCamlPro/superbol-vscode-debug’s past year of commit activity
    TypeScript 0 GPL-3.0 9 0 2 Updated Jul 26, 2024
  • 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 Github and will generate files for Github Actions CI and Github pages.

    OCamlPro/drom’s past year of commit activity
    OCaml 182 21 50 2 Updated Jul 25, 2024
  • 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 200 63 48 7 Updated Jul 22, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…