Search

Find trending repositories by name or description.

6 results for “rocq”

RankRepository7 daysStars24h gainScore

rocq-prover/opam

OCaml#11228 overall

Archive for all Rocq and Coq-related opam packages organized in various repositories

7 daysStars17224h gain-Score0.0

OCaml#14407 overall

Rocq plugin embedding Elpi

7 daysStars19824h gain0Score0.0

HTML#16388 overall

《软件基础》中文版

7 daysStars97124h gain-Score0.0

Rocq Prover#19067 overall

Visual Studio Code extension for Rocq

7 daysStars46524h gain0Score0.0

C++#37086 overall

A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.

7 daysStars16524h gain-Score0.0

Rocq Prover#48689 overall

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

7 daysStars20024h gain+2Score0.0