LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Other

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

OtherEmerging
GitHubWebsite
Stars
—
Forks
—
Contributors
8
Last push
13d ago

Recent commits

Latest commits.

  • Merge pull request #28453 from MisterDA/release-config-file-release-1.2.2
    9c3d4d2Sora Morimoto9mo ago
  • [new release] config-file (1.2.2)
    d48336eAntonin Décimo9mo ago
  • Merge pull request #28447 from sim642/release-goblint-v2.6.0
    f88238aShon Feder9mo ago
  • Merge pull request #28434 from CharlesAverill/release-scope-v1.0
    65be397Shon Feder9mo ago
  • Merge pull request #28416 from Ckaf/pgn-parser-1.0.1
    c8b6f4bShon Feder9mo ago
Merge pull request #28451 from mtzguido/fstar.2025.09.04
35cc178Shon Feder9mo ago
  • fstar.2025.09.04
    da81f3cGuido Martínez9mo ago
  • [new release] goblint (2.6.0)
    8063adbSimmo Saan10mo ago

    • Top contributors

    Builders behind this project.

    kit-ty-kate
    10.7K commits
    avsm
    8.5K commits
    mseri
    6.6K commits
    samoht
    4.4K commits
    yallop
    2.2K commits
    hannesm
    2K commits
    dinosaure
    1K commits
    pirbo
    878 commits