Propietario · FStarLang

FStarLang

Repositorios de código abierto monitorizados de FStarLang, ordenados por estrellas.

2 repositorios

#1
FStar ↗@FStarLangF*
Un lenguaje de programación orientado a pruebas
★ 3103+4Variación de estrellas de los últimos 7 días
#2
karamel ↗@FStarLangOCaml
KaRaMeL es una herramienta para extraer programas F* de bajo nivel a código C legible
★ 518+0Variación de estrellas de los últimos 7 días