LPCIC/coq-elpi

Latest metric snapshot

2026-06-05: 193 stars and 75 forks.

Similar repositories

1. 1. rocq-prover/rocq

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

   GitHub repository with 5,471 stars and 733 forks.

   Trending score: 0.60; stars gained: +3; forks gained: +1.

   Language: OCaml

   Topics: coq, dependent-types, proof-assistant, theorem-proving

2. 2. rocq-prover/vsrocq

   Visual Studio Code extension for Coq

   GitHub repository with 453 stars and 107 forks.

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

   Language: OCaml

   Topics: coq, vscode, vscode-extension, editor, vscodium, rocq

Trending in OCaml

1. 1. ocaml/ocaml

   The core OCaml system: compilers, runtime system, base libraries

   GitHub repository with 6,390 stars and 1,237 forks.

   Trending score: 1.39; stars gained: +28; forks gained: +2.

   Language: OCaml

   Topics: ocaml, compiler, functional-language

2. 2. oxcaml/oxcaml

   OCaml - Oxidized!

   GitHub repository with 760 stars and 151 forks.

   Trending score: 0.81; stars gained: +3; forks gained: +2.

   Language: OCaml

3. 3. rocq-prover/rocq

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

   GitHub repository with 5,471 stars and 733 forks.

   Trending score: 0.60; stars gained: +3; forks gained: +1.

   Language: OCaml

   Topics: coq, dependent-types, proof-assistant, theorem-proving

4. 4. geneweb/geneweb

   GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

   GitHub repository with 378 stars and 116 forks.

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

   Language: OCaml

   Topics: consanguinity, database, family-tree, gedcom, genealogy, graph

5. 5. tezos/tezos-mirror

   Github test mirror of the Octez software. Please do not submit pull-requests here!

   GitHub repository with 113 stars and 40 forks.

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

   Language: OCaml

   Topics: blockchain, ocaml, smart-contracts, tezos

6. 6. savonet/liquidsoap

   Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

   GitHub repository with 1,666 stars and 155 forks.

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

   Language: OCaml

   Topics: liquidsoap, streaming, webradio

Trending topic: coq

1. 1. rocq-prover/rocq

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

   GitHub repository with 5,471 stars and 733 forks.

   Trending score: 0.60; stars gained: +3; forks gained: +1.

   Language: OCaml

   Topics: coq, dependent-types, proof-assistant, theorem-proving

2. 2. SkyLabsAI/BRiCk

   Formalization of C++ for verification purposes.

   GitHub repository with 92 stars and 16 forks.

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

   Language: Rocq Prover

   Topics: coq, coq-formalization, coq-library, cplusplus, cplusplus-11, cplusplus-14

3. 3. rocq-prover/vsrocq

   Visual Studio Code extension for Coq

   GitHub repository with 453 stars and 107 forks.

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

   Language: OCaml

   Topics: coq, vscode, vscode-extension, editor, vscodium, rocq