← Back to List
⚠
Notice:This resource is provided by a third-party author. Please review the code with AI tools or manually before use to ensure security and compatibility.
Rustastrio-labs/forall

forall

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

76.7/100
★ 577Forks: 33
View on GitHub →
Loading report...

Similar Projects

Codewhale

92

Open-source coding agent for your terminal, built in Rust and on a journey of continuous community improvement. Issues and PRs welcome.

Rust★ 41.0K

openhuman

89

OpenHuman is the fastest, cheapest, most efficient open-source agent harness. Written in Rust

Rust★ 40.6K

openfang

68

Open-source Agent Operating System

Rust★ 18.2K

fallow

87

Codebase intelligence for TypeScript and JavaScript. Health, complexity hotspots, duplication, architecture boundaries, circular dependencies, design-system drift, and unused code, from one graph. CLI, GitHub Action, LSP, MCP, and VS Code. Rust, MIT licensed.

Rust★ 5.0K
← Back to List