AlphaUncommon
PrincetonUniversity/VST
Verified Software Toolchain
- Owner
- PrincetonUniversity (organization)
- Stars
- Stars: 515
- Forks
- Forks: 106
- Language
- Rocq Prover
- License
- None
- Created
- 2014
- Topics
- coqcoq-vstcompcertccoq-libraryverificationproofproof-assistantformal-methodsformal-verification
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by PrincetonUniversity
All 14 repos by PrincetonUniversity- PrincetonUniversity/openpitonStars: 838AssemblyBeta
- PrincetonUniversity/athenaStars: 376C++Alpha
- PrincetonUniversity/multi_gpu_trainingStars: 375PythonAlpha
- PrincetonUniversity/LLMCompassStars: 295PythonAlpha
- PrincetonUniversity/prgaStars: 212SCSSPrototype
- PrincetonUniversity/athena-public-versionStars: 162C++Prototype
Nearby in Rocq Prover
All Rocq Prover repos- math-comp/math-compStars: 707Rocq ProverBeta
- uwplse/verdiStars: 627Rocq ProverAlpha
- MetaRocq/metarocqStars: 567Rocq ProverAlpha
- rocq-prover/vsrocqStars: 464Rocq ProverAlpha
- jasmin-lang/jasminStars: 389Rocq ProverAlpha
- ccz181078/Coq-BB5Stars: 377Rocq ProverAlpha