Skip to content

@OCamlPro OCamlPro

Change the repository type filter

Sources

    Repositories list

    185 repositories

    • owi

      Public
      Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
      crustformatterinterpreterocamlsolverparallelwebassemblywasmoptimizer
      OCaml
      •
      GNU Affero General Public License v3.0
      •22•144•107•12•Updated Mar 5, 2025Mar 5, 2025

    • alt-ergo

      Public
      OCamlPro public development repository for Alt-Ergo
      satisfiability-modulo-theories
      OCaml
      •
      Other
      •33•134•95•19•Updated Mar 5, 2025Mar 5, 2025

    • ezjs_extension

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

    • ez_api

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

    • gnucobol

      Public
      A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
      cobol
      C
      •
      GNU Lesser General Public License v3.0
      •26•25•19•29•Updated Mar 3, 2025Mar 3, 2025

    • cheat-sheets

      Public
      TeX
      •0•1•0•2•Updated Feb 10, 2025Feb 10, 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•30•51•8•Updated Feb 5, 2025Feb 5, 2025

    • gnucobol-contrib

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

    • ocaml-ancient

      Public
      trial at reviving the ancient library
      ocaml-librarymmapshmshared-memoryancientancient-heap
      C
      •3•9•5•0•Updated Jan 30, 2025Jan 30, 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
      •3•35•7•0•Updated Jan 28, 2025Jan 28, 2025

    • operf-micro

      Public
      A set of micro-benchmarks for OCaml compiler
      OCaml
      •
      MIT License
      •5•9•3•0•Updated Jan 8, 2025Jan 8, 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
      •2•21•2•0•Updated Jan 3, 2025Jan 3, 2025

    • .github

      Public
      2•0•0•0•Updated Jan 3, 2025Jan 3, 2025

    • ocp-index

      Public
      Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
      OCaml
      •
      Other
      •26•63•24•1•Updated Jan 2, 2025Jan 2, 2025

    • opam-cross-osx

      Public
      Shell
      •2•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • ocplib-simplex

      Public
      A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
      OCaml
      •
      Other
      •7•14•2•1•Updated Dec 11, 2024Dec 11, 2024

    • ppaqse-lang

      Public
      Typst
      •4•0•2•0•Updated Dec 3, 2024Dec 3, 2024

    • wasocaml

      Public
      OCaml
      •
      Other
      •4•58•4•0•Updated Oct 27, 2024Oct 27, 2024

    • ctypes-gen

      Public
      Generates C structure printer from include file declarations
      OCaml
      •
      Other
      •1•1•0•0•Updated Oct 25, 2024Oct 25, 2024

    • cc-cobol-vm

      Public
      Shell
      •2•0•0•0•Updated Oct 14, 2024Oct 14, 2024

    • ezjs

      Public
      Some useful libraries to work with `js_of_ocaml`
      OCaml
      •
      Other
      •9•13•0•0•Updated Sep 20, 2024Sep 20, 2024

    • ezjs_blockies

      Public
      Bindings for Blockies
      OCaml
      •
      GNU Lesser General Public License v2.1
      •1•2•0•0•Updated Sep 20, 2024Sep 20, 2024

    • 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
      •21•183•52•2•Updated Sep 9, 2024Sep 9, 2024

    • ocp-indent

      Public
      Indentation tool for OCaml, to be used from editors like Emacs and Vim.
      OCaml
      •
      Other
      •65•201•48•7•Updated Jan 22, 2025Jan 22, 2025

    • ocaml-canvas

      Public
      The OCaml-Canvas library provides a portable Canvas for OCaml
      C
      •
      Other
      •8•59•31•1•Updated Jun 26, 2024Jun 26, 2024

    • superbol-artefacts

      Public
      Binary artefacts for SuperBOL (COBOL projects at OCamlPro)
      cobol
      GNU Affero General Public License v3.0
      •0•2•1•0•Updated Jun 24, 2024Jun 24, 2024

    • opam-wix

      Public
      opam-wix is opam plugin that creates msi installation file to install packages and binaries on Windows.
      OCaml
      •
      Other
      •4•6•1•1•Updated Mar 27, 2024Mar 27, 2024

    • ez_toml

      Public
      A library to parse and print TOML files
      OCaml
      •
      Other
      •2•5•0•1•Updated Mar 5, 2024Mar 5, 2024

    • ez_mapfile

      Public
      Data structures stored as files, mapped in memory
      OCaml
      •
      Other
      •0•0•0•0•Updated Feb 14, 2024Feb 14, 2024

    • module-graph

      Public
      Show dependencies between modules in an OCaml project
      OCaml
      •
      Other
      •1•2•0•0•Updated Feb 1, 2024Feb 1, 2024
    185 repositories found. List is sorted by Last pushed in descending order.