Skip to content

@OCamlPro OCamlPro

Change the repository type filter

All

    Repositories list

    229 repositories

    • symex

      Public
      Primitives to write symbolic execution engines
      OCaml
      •
      GNU Affero General Public License v3.0
      •0•1•0•1•Updated Feb 18, 2026Feb 18, 2026

    • owi

      Public
      Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
      crustformatterinterpreterocamlsolverparallelwebassemblywasmoptimizer
      OCaml
      •
      GNU Affero General Public License v3.0
      •37•281•128•9•Updated Feb 18, 2026Feb 18, 2026

    • synchronizer

      Public
      ocamlmulti-core
      OCaml
      •
      GNU Affero General Public License v3.0
      •1•0•0•0•Updated Feb 16, 2026Feb 16, 2026

    • ocaml-universal-installer

      Public
      ocaml-universal-installer (or oui) builds standalone Windows, Linux and MacOS installers for your OCaml applications.
      OCaml
      •
      Other
      •9•19•4•2•Updated Feb 16, 2026Feb 16, 2026

    • gnucobol-docs

      Public
      External Documentation of the GnuCOBOL Project
      TeX
      •1•1•0•2•Updated Feb 14, 2026Feb 14, 2026

    • seacoral

      Public
      One automated test generation tool to rule 'em all
      static-analysisfuzzingmodel-checkingtest-generationdynamic-symbolic-executioncoverage-criteriaorchestration-tool
      OCaml
      •
      Other
      •3•1•11•6•Updated Feb 13, 2026Feb 13, 2026

    • 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
      •15•34•83•14•Updated Feb 13, 2026Feb 13, 2026

    • superbol-vscode-debug

      Public
      GnuCOBOL debugger
      TypeScript
      •
      GNU General Public License v3.0
      •13•0•0•1•Updated Feb 11, 2026Feb 11, 2026

    • ppaqse-os

      Public
      An overview of various real-time OS, hypervisors and unikernels.
      Typst
      •5•0•0•0•Updated Feb 10, 2026Feb 10, 2026

    • symbocalypse

      Public
      Symbolic Execution benchmarks
      OCaml
      •
      GNU Affero General Public License v3.0
      •5•5•16•1•Updated Feb 10, 2026Feb 10, 2026

    • ocp-index

      Public
      Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
      OCaml
      •
      Other
      •27•68•23•0•Updated Feb 9, 2026Feb 9, 2026

    • gnucobol-contrib

      Public
      GIT Mirror of the GnuCOBOL contributions tree
      COBOL
      •4•4•0•1•Updated Feb 7, 2026Feb 7, 2026

    • autofonce

      Public
      A modern runner for GNU Autoconf testsuites in m4
      testsautoconfgnucoboltestsuites
      OCaml
      •
      GNU General Public License v3.0
      •4•0•2•1•Updated Feb 7, 2026Feb 7, 2026

    • alt-ergo

      Public
      OCamlPro public development repository for Alt-Ergo
      satisfiability-modulo-theories
      OCaml
      •
      Other
      •35•141•99•22•Updated Feb 5, 2026Feb 5, 2026

    • domainpc

      Public
      DomainPC: Domain Per Core
      OCaml
      •
      GNU Affero General Public License v3.0
      •1•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • ocaml-ancient

      Public
      trial at reviving the ancient library
      ocaml-librarymmapshmshared-memoryancientancient-heap
      C
      •
      Other
      •3•10•6•0•Updated Jan 30, 2026Jan 30, 2026

    • gnucobol

      Public
      A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
      cobol
      C
      •
      GNU Lesser General Public License v3.0
      •37•50•19•42•Updated Jan 27, 2026Jan 27, 2026

    • ez_cmdliner

      Public
      Easy Cmdliner
      OCaml
      •
      Other
      •3•13•1•2•Updated Jan 12, 2026Jan 12, 2026

    • gnucobol4

      Public
      GIT Mirror of the GnuCOBOL Project
      C
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Dec 8, 2025Dec 8, 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•2•0•0•Updated Dec 8, 2025Dec 8, 2025

    • ocaml-sdk

      Public
      A bundle of OCaml libraries designed to raise the software production efficiency.
      1•0•3•1•Updated Nov 24, 2025Nov 24, 2025

    • ocp-plugin-deps

      Public
      Print plugin deps information
      OCaml
      •
      Other
      •0•0•0•0•Updated Nov 21, 2025Nov 21, 2025

    • ezjs_min

      Public
      A bunch of js_of_ocaml shortcuts
      OCaml
      •
      GNU Lesser General Public License v2.1
      •2•6•1•0•Updated Nov 19, 2025Nov 19, 2025

    • ez_api

      Public
      Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.
      OCaml
      •
      Other
      •13•23•0•1•Updated Nov 18, 2025Nov 18, 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. Th…
      configwindowsmacoslinuxdatacacheconventionsocamlxdgstandard
      OCaml
      •
      ISC License
      •4•39•6•0•Updated Nov 3, 2025Nov 3, 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 docume…
      OCaml
      •
      Other
      •23•198•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

    • 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
      •66•214•47•0•Updated Oct 1, 2025Oct 1, 2025

    • nra-solver

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