Skip to content
Change the repository type filter

All

    Repositories list

    • External Documentation of the GnuCOBOL Project
      TeX
      1002Updated Oct 22, 2025Oct 22, 2025
    • seacoral

      Public
      One automated test generation tool to rule 'em all
      OCaml
      1002Updated Oct 22, 2025Oct 22, 2025
    • ocaml-universal-installer (or oui) builds standalone Windows, Linux and MacOS installers for your OCaml applications.
      OCaml
      81823Updated Oct 21, 2025Oct 21, 2025
    • gnucobol

      Public
      A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
      C
      35401741Updated Oct 21, 2025Oct 21, 2025
    • ez_api

      Public
      Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.
      OCaml
      132201Updated Oct 21, 2025Oct 21, 2025
    • alt-ergo

      Public
      OCamlPro public development repository for Alt-Ergo
      OCaml
      351399721Updated Oct 21, 2025Oct 21, 2025
    • GIT Mirror of the GnuCOBOL contributions tree
      COBOL
      3401Updated Oct 10, 2025Oct 10, 2025
    • owi

      Public
      Seamless bug-finding for Wasm, C, C++, Rust and Zig
      OCaml
      3425414414Updated Oct 9, 2025Oct 9, 2025
    • OCaml
      1001Updated 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
      OCaml
      3340Updated Oct 3, 2025Oct 3, 2025
    • Indentation tool for OCaml, to be used from editors like Emacs and Vim.
      Raku
      68209460Updated Oct 1, 2025Oct 1, 2025
    • SMT
      2001Updated Sep 30, 2025Sep 30, 2025
    • Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
      OCaml
      1332746Updated 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.
      Standard ML
      32120Updated Sep 22, 2025Sep 22, 2025
    • GnuCOBOL debugger
      TypeScript
      15001Updated Sep 12, 2025Sep 12, 2025
    • .github

      Public
      2001Updated 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
      2767230Updated Jul 23, 2025Jul 23, 2025
    • OCaml
      0000Updated Jul 22, 2025Jul 22, 2025
    • Symbolic Execution benchmarks
      OCaml
      33121Updated Jul 11, 2025Jul 11, 2025
    • ppaqse-os

      Public
      An overview of various real-time OS, hypervisors and unikernels.
      2001Updated Jun 26, 2025Jun 26, 2025
    • trial at reviving the ancient library
      C
      31060Updated Jun 25, 2025Jun 25, 2025
    • Shell
      2000Updated Jun 17, 2025Jun 17, 2025
    • An OCaml cross-toolchain for Windows and several useful libraries
      Shell
      34000Updated Jun 11, 2025Jun 11, 2025
    • A prototype of crate representing the kerml class hierarchy
      Rust
      0000Updated May 22, 2025May 22, 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
      22195534Updated Mar 31, 2025Mar 31, 2025
    • Binding for Chrome and Firefox extension API
      OCaml
      0300Updated Feb 25, 2025Feb 25, 2025
    • ocaml.org

      Public
      The official OCaml website.
      HTML
      365000Updated Feb 18, 2025Feb 18, 2025
    • TeX
      0102Updated Feb 10, 2025Feb 10, 2025
    • gixsql

      Public
      GixSQL is an ESQL preprocessor and a series of runtime libraries to enable GnuCOBOL to access PostgreSQL, ODBC, MySQL, Oracle and SQLite databases.
      C
      9011Updated Feb 4, 2025Feb 4, 2025
    • 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.
      OCaml
      33660Updated Jan 28, 2025Jan 28, 2025