jasmin-lang/jasmin

GitHub

Language for high-assurance and high-speed cryptography

Rocq Prover375 stars85 forksMIT

compiler coq language

Momentum

jasmin-lang/jasmin has 375 GitHub stars.

It currently ranks #14001 daily, #14978 weekly, #18197 monthly by momentum on Trending Repos; its best-ever rank is #935.

Trending Repos first recorded it on Jul 11, 2026.

Rankings

PeriodRankScore

Daily

#140010.0

Weekly

#149780.0

Monthly

#181970.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #935

Format

Markdown

[![jasmin-lang/jasmin badge](https://trending-repos.com/badge/jasmin-lang/jasmin.svg?v=3)](https://trending-repos.com/repositories/jasmin-lang/jasmin?utm_source=github&utm_medium=badge)

jasmin-lang/jasmin

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

jasmin-lang/jasmin

Momentum

Rankings

Engagement

Similar trending repositories

Embeds