Topic · rocq

rocq

Tracked open-source repos tagged rocq, sorted by stars.

Repos

4

Total stars

3,426

Avg. stars

857

Share

0.00%

Topics that frequently appear alongside rocq on the same repo.

Recent risers

Repos created in the last 90 days, tagged rocq.

No new repos tagged with this topic in the last 90 days.

#1
rocq-of-rust ↗@formal-landRocq Prover
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
★ 1,161+0Star change over the last 7 days
#2
UniMath ↗@UniMathRocq Prover
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
★ 1,019+2Star change over the last 7 days
#3
math-comp ↗@math-compRocq Prover
Mathematical Components
★ 696+1Star change over the last 7 days
#4
metarocq ↗@MetaRocqRocq Prover
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
★ 550+1Star change over the last 7 days

← Back to topics