Các kho mã nguồn mở đang theo dõi của FStarLang, sắp xếp theo số sao.
Một ngôn ngữ lập trình hướng chứng minh
KaRaMeL là một công cụ để trích xuất các chương trình F* cấp thấp thành mã C dễ đọc
