ocaml/opam-repository

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

GitHub repository with 575 stars and 1,255 forks.

Topics: ocaml, opam

Open provider repository

Latest metric snapshot

2026-06-04: 575 stars and 1,255 forks.

Similar repositories

  1. 1. AeneasVerif/aeneas

    A verification toolchain for Rust programs

    GitHub repository with 793 stars and 77 forks.

    Trending score: 0.83; stars gained: +6; forks gained: +0.

    Language: OCaml

    Topics: compiler, coq, deductive-reasoning, formal-methods, formal-verification, fstar

  2. 2. ocaml-multicore/eio

    Effects-based direct-style IO for multicore OCaml

    GitHub repository with 693 stars and 83 forks.

    Trending score: 0.09; stars gained: +0; forks gained: +0.

    Language: OCaml

    Topics: concurrency, effects, io, multicore, ocaml

  3. 3. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,040 stars and 254 forks.

    Trending score: 0.07; stars gained: +0; forks gained: +0.

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

  4. 4. nix-ocaml/nix-overlays

    OCaml-focused, custom nix-overlays

    GitHub repository with 118 stars and 34 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Nix

    Topics: nix, ocaml, overlays

  5. 5. ocaml/dune

    A composable build system for OCaml.

    GitHub repository with 1,882 stars and 477 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: OCaml

    Topics: build, ocaml, opam, dune, jbuilder

  6. 6. terrateamio/terrateam

    Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

    GitHub repository with 1,236 stars and 69 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +1.

    Language: OCaml

    Topics: automation, cloud-management, devops, github-actions, infrastructure-as-code, infrastructure-automation

Trending topic: ocaml

  1. 1. AeneasVerif/aeneas

    A verification toolchain for Rust programs

    GitHub repository with 793 stars and 77 forks.

    Trending score: 0.83; stars gained: +6; forks gained: +0.

    Language: OCaml

    Topics: compiler, coq, deductive-reasoning, formal-methods, formal-verification, fstar

  2. 2. ocaml-multicore/eio

    Effects-based direct-style IO for multicore OCaml

    GitHub repository with 693 stars and 83 forks.

    Trending score: 0.09; stars gained: +0; forks gained: +0.

    Language: OCaml

    Topics: concurrency, effects, io, multicore, ocaml

  3. 3. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,040 stars and 254 forks.

    Trending score: 0.07; stars gained: +0; forks gained: +0.

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

  4. 4. nix-ocaml/nix-overlays

    OCaml-focused, custom nix-overlays

    GitHub repository with 118 stars and 34 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Nix

    Topics: nix, ocaml, overlays

  5. 5. ocaml/dune

    A composable build system for OCaml.

    GitHub repository with 1,882 stars and 477 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: OCaml

    Topics: build, ocaml, opam, dune, jbuilder

  6. 6. terrateamio/terrateam

    Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

    GitHub repository with 1,236 stars and 69 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +1.

    Language: OCaml

    Topics: automation, cloud-management, devops, github-actions, infrastructure-as-code, infrastructure-automation