Skip to content

@OCamlPro OCamlPro

Change the repository type filter

All

    Repositories list

    225 repositories

    • gnucobol-docs

      Public
      External Documentation of the GnuCOBOL Project
      TeX
      •1•0•0•2•Updated Nov 1, 2025Nov 1, 2025

    • yalo

      Public
      A plugin-based linting platform for OCaml and maybe other languages. Because it is a platform, it comes with only few rules, only as examples.
      linterocamlpluginsscanningsarif
      OCaml
      •
      Other
      •1•0•0•0•Updated Nov 1, 2025Nov 1, 2025

    • ocaml-universal-installer

      Public
      ocaml-universal-installer (or oui) builds standalone Windows, Linux and MacOS installers for your OCaml applications.
      OCaml
      •
      Other
      •8•18•2•1•Updated Oct 31, 2025Oct 31, 2025

    • seacoral

      Public
      One automated test generation tool to rule 'em all
      static-analysisfuzzingmodel-checkingtest-generationdynamic-symbolic-executioncoverage-criteriaorchestration-tool
      OCaml
      •
      GNU General Public License v3.0
      •2•1•1•1•Updated Oct 31, 2025Oct 31, 2025

    • gnucobol

      Public
      A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
      cobol
      C
      •
      GNU Lesser General Public License v3.0
      •35•40•17•41•Updated Oct 31, 2025Oct 31, 2025

    • owi

      Public
      Seamless bug-finding for Wasm, C, C++, Rust and Zig
      crustformatterinterpreterocamlsolverparallelwebassemblywasmoptimizer
      OCaml
      •
      GNU Affero General Public License v3.0
      •34•257•149•12•Updated Oct 31, 2025Oct 31, 2025

    • 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.
      OCaml
      •
      Other
      •22•195•50•0•Updated Oct 27, 2025Oct 27, 2025

    • drom-share

      Public
      Share directory for `drom` (skeletons, licenses, etc.)
      OCaml
      •5•0•5•1•Updated Oct 27, 2025Oct 27, 2025

    • ez_api

      Public
      Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.
      OCaml
      •
      Other
      •13•22•0•1•Updated Oct 21, 2025Oct 21, 2025

    • alt-ergo

      Public
      OCamlPro public development repository for Alt-Ergo
      satisfiability-modulo-theories
      OCaml
      •
      Other
      •35•139•97•21•Updated Oct 21, 2025Oct 21, 2025

    • gnucobol-contrib

      Public
      GIT Mirror of the GnuCOBOL contributions tree
      COBOL
      •3•4•0•1•Updated Oct 10, 2025Oct 10, 2025

    • synchronizer

      Public
      ocamlmulti-core
      OCaml
      •
      GNU Affero General Public License v3.0
      •1•0•0•1•Updated Oct 3, 2025Oct 3, 2025

    • swhid

      Public
      swhid is an OCaml library to work with persistent identifiers found in Software Heritage, also known as swhid
      ocamlpersistentsoftwareidentifiersswhid
      OCaml
      •
      ISC License
      •3•3•4•0•Updated Oct 3, 2025Oct 3, 2025

    • ocp-indent

      Public
      Indentation tool for OCaml, to be used from editors like Emacs and Vim.
      Raku
      •
      Other
      •68•210•46•0•Updated Oct 1, 2025Oct 1, 2025

    • nra-solver

      Public
      SMT
      •2•0•0•1•Updated Sep 30, 2025Sep 30, 2025

    • superbol-studio-oss

      Public
      Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
      emacs-modecobolvscode-extensionlsp-server
      OCaml
      •
      Other
      •13•32•73•6•Updated Sep 23, 2025Sep 23, 2025

    • ocb

      Public
      ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.
      svgreadmestatuscoveragebuildgeneratorocamlbadgegenerationocb
      Standard ML
      •
      ISC License
      •3•21•2•0•Updated Sep 22, 2025Sep 22, 2025

    • superbol-vscode-debug

      Public
      GnuCOBOL debugger
      TypeScript
      •
      GNU General Public License v3.0
      •15•0•0•1•Updated Sep 12, 2025Sep 12, 2025

    • .github

      Public
      2•0•0•1•Updated Aug 4, 2025Aug 4, 2025

    • ocp-index

      Public
      Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
      OCaml
      •
      Other
      •27•67•23•0•Updated Jul 23, 2025Jul 23, 2025

    • opam_bp_examples

      Public
      OCaml
      •0•0•0•0•Updated Jul 22, 2025Jul 22, 2025

    • symbocalypse

      Public
      Symbolic Execution benchmarks
      OCaml
      •4•3•12•1•Updated Jul 11, 2025Jul 11, 2025

    • ppaqse-os

      Public
      An overview of various real-time OS, hypervisors and unikernels.
      3•0•0•1•Updated Jun 26, 2025Jun 26, 2025

    • ocaml-ancient

      Public
      trial at reviving the ancient library
      ocaml-librarymmapshmshared-memoryancientancient-heap
      C
      •
      Other
      •3•10•6•0•Updated Jun 25, 2025Jun 25, 2025

    • opam-cross-osx

      Public
      Shell
      •2•0•0•0•Updated Jun 17, 2025Jun 17, 2025

    • opam-cross-windows

      Public
      An OCaml cross-toolchain for Windows and several useful libraries
      Shell
      •35•0•0•0•Updated Jun 11, 2025Jun 11, 2025

    • kerml-rust-prototype

      Public
      A prototype of crate representing the kerml class hierarchy
      Rust
      •0•0•0•0•Updated May 22, 2025May 22, 2025

    • ezjs_extension

      Public
      Binding for Chrome and Firefox extension API
      OCaml
      •
      GNU Lesser General Public License v2.1
      •0•3•0•0•Updated Feb 25, 2025Feb 25, 2025

    • ocaml.org

      Public
      The official OCaml website.
      HTML
      •
      Other
      •366•0•0•0•Updated Feb 18, 2025Feb 18, 2025

    • cheat-sheets

      Public
      TeX
      •0•1•0•2•Updated Feb 10, 2025Feb 10, 2025