Skip to content

@OCamlPro OCamlPro

Change the repository type filter

All

    Repositories list

    227 repositories

    • gnucobol-docs

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

    • gnucobol

      Public
      A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
      cobol
      C
      •
      GNU Lesser General Public License v3.0
      •36•45•26•44•Updated Dec 24, 2025Dec 24, 2025

    • ocaml-universal-installer

      Public
      ocaml-universal-installer (or oui) builds standalone Windows, Linux and MacOS installers for your OCaml applications.
      OCaml
      •
      Other
      •9•19•8•4•Updated Dec 24, 2025Dec 24, 2025

    • seacoral

      Public
      One automated test generation tool to rule 'em all
      static-analysisfuzzingmodel-checkingtest-generationdynamic-symbolic-executioncoverage-criteriaorchestration-tool
      OCaml
      •
      Other
      •3•1•9•5•Updated Dec 22, 2025Dec 22, 2025

    • symbocalypse

      Public
      Symbolic Execution benchmarks
      OCaml
      •
      GNU Affero General Public License v3.0
      •4•4•17•0•Updated Dec 22, 2025Dec 22, 2025

    • owi

      Public
      Seamless bug-finding for C, C++, Rust, Wasm and Zig
      crustformatterinterpreterocamlsolverparallelwebassemblywasmoptimizer
      OCaml
      •
      GNU Affero General Public License v3.0
      •36•274•133•10•Updated Dec 21, 2025Dec 21, 2025

    • synchronizer

      Public
      ocamlmulti-core
      OCaml
      •
      GNU Affero General Public License v3.0
      •1•0•0•0•Updated Dec 19, 2025Dec 19, 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
      •14•33•78•7•Updated Dec 18, 2025Dec 18, 2025

    • superbol-vscode-debug

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

    • ppaqse-os

      Public
      An overview of various real-time OS, hypervisors and unikernels.
      Typst
      •4•0•0•0•Updated Dec 11, 2025Dec 11, 2025

    • 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•1•0•0•Updated Dec 8, 2025Dec 8, 2025

    • gnucobol-contrib

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

    • ocaml-ancient

      Public
      trial at reviving the ancient library
      ocaml-librarymmapshmshared-memoryancientancient-heap
      C
      •
      Other
      •3•10•6•0•Updated Dec 5, 2025Dec 5, 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•22•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. The following conventions are used: XDG Base Directory Specification and xdg-user-dirs on Linux, Known Folders on Windows, Standard Directories on macOS.
      configwindowsmacoslinuxdatacacheconventionsocamlxdgstandard
      OCaml
      •
      ISC License
      •4•38•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 documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
      OCaml
      •
      Other
      •23•197•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

    • 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

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

    • nra-solver

      Public
      SMT
      •2•0•0•1•Updated Sep 30, 2025Sep 30, 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

    • .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•68•23•0•Updated Jul 23, 2025Jul 23, 2025

    • opam_bp_examples

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

    • opam-cross-osx

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