Repositori open source terpantau milik FStarLang, diurutkan berdasarkan bintang.
Bahasa pemrograman yang berorientasi pada pembuktian
KaRaMeL adalah alat untuk mengekstrak program F* tingkat rendah ke dalam kode C yang mudah dibaca
