LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

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

Other

opam-repository

Package descriptions for OPAM

OtherEmerging
GitHubWebsite
Stars
1
Forks
—
Contributors
8
Last push
4mo ago

Recent commits

Latest commits.

  • Merge pull request #27904 from hannesm/release-mirage-block-ramdisk-0.6
    27f5ac6Shon Feder13mo ago
  • Merge pull request #27892 from jonahbeckford/mlfront-2.3.1-2
    ffb3d1eShon Feder13mo ago
  • Merge pull request #27906 from backtracking/opam-publish-bdd.0.5
    8c202c6Shon Feder13mo ago
  • Merge pull request #27895 from SGrondin/opam-publish-tdigest.2.2.1
    e4caf3eShon Feder13mo ago
  • Merge pull request #27899 from dra27/bitmasks-1.5.0
    321596cShon Feder13mo ago
  • Merge pull request #27908 from mbarbin/fpath-sexp0
    5c86c59Shon Feder13mo ago
  • bdd-0.5: added menhir dependency
    de04be3Jean-Christophe Filliatre13mo ago
  • bdd-0.5: fixed opam file
    434f478Jean-Christophe Filliatre13mo ago

    • Top contributors

    Builders behind this project.

    kit-ty-kate
    10.7K commits
    avsm
    8.5K commits
    mseri
    6.3K commits
    samoht
    4.4K commits
    yallop
    2.2K commits
    hannesm
    1.9K commits
    dinosaure
    979 commits
    pirbo
    878 commits