FStarDev
01Agent
An F compiler developer agent for build, bootstrap, and compiler engineering tasks.
3.1k 2d ago A 19 tokens
original Apache-2.0
3.1kStars on the repository
1Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown