astrio-labs/forall

Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.

Rust699 stars41 forksApache-2.0

c java rust typescript

Momentum

astrio-labs/forall has 699 GitHub stars.

It currently ranks #35522 daily, #35763 weekly, #36967 monthly by momentum on Trending Repos; its best-ever rank is #3418.

Rankings

PeriodRankScore

Daily

#355220.0

Weekly

#357630.0

Monthly

#369670.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #3418

Format

Markdown

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

astrio-labs/forall

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

astrio-labs/forall

Momentum

Rankings

Engagement

Similar trending repositories

Embeds