Skip to content

@OCamlPro OCamlPro

Change the repository type filter

All

    Repositories list

    229 repositories

    • gnucobol-docs

      Public
      External Documentation of the GnuCOBOL Project
      TeX
      •1•1•0•2•Updated Apr 11, 2026Apr 11, 2026

    • ocaml-universal-installer

      Public
      ocaml-universal-installer (or oui) builds standalone Windows, Linux and MacOS installers for your OCaml applications.
      OCaml
      •
      Other
      •9•27•6•1•Updated Apr 9, 2026Apr 9, 2026

    • superbol-studio-oss

      Public
      Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
      emacs-modecobolvscode-extension
      emacs-modecobolvscode-extensionlsp-server
      OCaml
      •
      Other
      •16•36•91•9•Updated Apr 9, 2026Apr 9, 2026

    • owi

      Public
      Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
      crustformatter
      crustformatterinterpreterocamlsolverparallelwebassemblywasmoptimizer
      OCaml
      •
      GNU Affero General Public License v3.0
      •39•291•127•13•Updated Apr 8, 2026Apr 8, 2026

    • ocaml-ancient

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

    • seacoral

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

    • ez_cmdliner

      Public
      Easy Cmdliner
      OCaml
      •
      Other
      •5•13•0•1•Updated Apr 7, 2026Apr 7, 2026

    • 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.
      linterocamlplugins
      linterocamlpluginsscanningsarif
      OCaml
      •
      Other
      •2•5•10•0•Updated Apr 2, 2026Apr 2, 2026

    • alt-ergo

      Public
      OCamlPro public development repository for Alt-Ergo
      satisfiability-modulo-theories
      satisfiability-modulo-theories
      OCaml
      •
      Other
      •35•141•101•24•Updated Apr 1, 2026Apr 1, 2026

    • 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 Mar 31, 2026Mar 31, 2026

    • gnucobol

      Public
      A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
      cobol
      cobol
      C
      •
      GNU Lesser General Public License v3.0
      •45•55•19•48•Updated Mar 26, 2026Mar 26, 2026

    • autofonce

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

    • gnucobol-contrib

      Public
      GIT Mirror of the GnuCOBOL contributions tree
      COBOL
      •5•4•0•1•Updated Mar 12, 2026Mar 12, 2026

    • symbocalypse

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

    • symex

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

    • superbol-vscode-debug

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

    • ezjs_idb

      Public
      Js_of_ocaml bindings for IndexedDB
      OCaml
      •
      GNU Lesser General Public License v2.1
      •0•3•1•0•Updated Feb 26, 2026Feb 26, 2026

    • synchronizer

      Public
      ocamlmulti-core
      ocamlmulti-core
      OCaml
      •
      GNU Affero General Public License v3.0
      •1•0•0•0•Updated Feb 16, 2026Feb 16, 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

    • 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

    • domainpc

      Public
      DomainPC: Domain Per Core
      OCaml
      •
      GNU Affero General Public License v3.0
      •1•0•0•0•Updated Jan 31, 2026Jan 31, 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

    • ocaml-sdk

      Public
      A bundle of OCaml libraries designed to raise the software production efficiency.
      1•0•4•2•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

    • 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…
      configwindowsmacos
      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•199•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
      ocamlpersistentsoftware
      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•217•48•2•Updated Oct 1, 2025Oct 1, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.