bldl/temporal-rocq

Formalisation of parts of the TC39 Temporal proposal in Rocq.

GitHub repository with 5 stars and 1 forks.

Language: Rocq Prover

Open provider repository

Latest metric snapshot

2026-06-05: 5 stars and 1 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

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