Lenguaje · F*

F*

Repositorios de código abierto monitorizados que tienen F* como lenguaje principal, ordenados por estrellas.

2 repositorios

#1
FStar@FStarLangF*
Un lenguaje de programación orientado a pruebas
★ 3099+0Variación de estrellas de los últimos 7 días
#2
hacl-star@hacl-starF*
HACL*, una biblioteca criptográfica verificada formalmente escrita en F*
★ 1836+0Variación de estrellas de los últimos 7 días