epfl-lara/stainless

GitHub

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Scala414 stars63 forksApache-2.0

cvc4 cvc5 formal-methods inox model-checking proof-assistant scala smt verification z3

Momentum

epfl-lara/stainless has 414 GitHub stars.

It currently ranks #13298 daily, #14293 weekly, #8061 monthly by momentum on Trending Repos; its best-ever rank is #4996.

Trending Repos first recorded it on Nov 5, 2026.

Rankings

PeriodRankScore

Daily

#132980.0

Weekly

#142930.0

Monthly

#80610.1

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #4996

Format

Markdown

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

epfl-lara/stainless

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

epfl-lara/stainless

Momentum

Rankings

Engagement

Similar trending repositories

Embeds