Latest metric snapshot

2026-06-05: 10 stars and 5 forks.

Similar repositories

  1. 1. jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    GitHub repository with 356 stars and 77 forks.

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

    Language: Rocq Prover

    Topics: compiler, language, coq

  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. uds-psl/MPCTT

    Modeling and Proving in Computational Type Theory

    GitHub repository with 123 stars and 13 forks.

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

    Language: Rocq Prover

  4. 4. takanuva/tarski-rocq

    Shrinking induction-recursion... sometimes you just wanna be small!

    GitHub repository with 10 stars and 0 forks.

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

    Language: Rocq Prover

  5. 5. affeldt-aist/infotheo

    A Rocq formalization of information theory and linear error-correcting codes

    GitHub repository with 76 stars and 20 forks.

    Trending score: 0.04.

    Language: Rocq Prover

    Topics: information-theory, error-correcting-codes, probability, convexity, ssreflect, mathcomp

Trending in Rocq Prover

  1. 1. jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    GitHub repository with 356 stars and 77 forks.

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

    Language: Rocq Prover

    Topics: compiler, language, coq

  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. uds-psl/MPCTT

    Modeling and Proving in Computational Type Theory

    GitHub repository with 123 stars and 13 forks.

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

    Language: Rocq Prover

  4. 4. takanuva/tarski-rocq

    Shrinking induction-recursion... sometimes you just wanna be small!

    GitHub repository with 10 stars and 0 forks.

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

    Language: Rocq Prover

  5. 5. affeldt-aist/infotheo

    A Rocq formalization of information theory and linear error-correcting codes

    GitHub repository with 76 stars and 20 forks.

    Trending score: 0.04.

    Language: Rocq Prover

    Topics: information-theory, error-correcting-codes, probability, convexity, ssreflect, mathcomp