FStarLang

1 mods across 1 repository, 3.1k stars between them.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

FStarDev

01

FStarLang/FStar

Agent

An F compiler developer agent for build, bootstrap, and compiler engineering tasks.

3.1k 2d ago A 19 tokens original Apache-2.0