Bahasa Pemrograman · F*

F*

Repositori open source terpantau dengan F* sebagai bahasa utama, diurutkan berdasarkan bintang.

2 repositori

#1
FStar@FStarLangF*
Bahasa pemrograman yang berorientasi pada pembuktian
★ 3.099+0Perubahan bintang dalam 7 hari terakhir
#2
hacl-star@hacl-starF*
HACL*, pustaka kriptografi yang diverifikasi secara formal yang ditulis dalam F*
★ 1.836+0Perubahan bintang dalam 7 hari terakhir