AlphaUncommon
jasmin-lang/jasmin
Language for high-assurance and high-speed cryptography
- Owner
- jasmin-lang (organization)
- Stars
- Stars: 389
- Forks
- Forks: 89
- Language
- Rocq Prover
- License
- MIT
- Created
- 2017
- Topics
- compilerlanguagecoq
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- MetaRocq/metarocqStars: 568Rocq ProverAlpha
- PrincetonUniversity/VSTStars: 516Rocq ProverAlpha
- rocq-prover/vsrocqStars: 464Rocq ProverAlpha
- ccz181078/Coq-BB5Stars: 377Rocq ProverAlpha
- mit-plv/bedrock2Stars: 340Rocq ProverAlpha
- stepchowfun/proofsStars: 316Rocq ProverAlpha