Tema · fstar

fstar

Repositorios de código abierto monitorizados etiquetados con fstar, ordenados por estrellas.

Repositorios

2

Estrellas totales

4039

Estrellas de media

2020

Proporción

0,00%

Temas que aparecen con frecuencia junto a fstar en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con fstar.

No hay repositorios nuevos con este tema en los últimos 90 días.

#1
FStar ↗@FStarLangF*
Un lenguaje de programación orientado a pruebas
★ 3103+4Variación de estrellas de los últimos 7 días
#2
aeneas ↗@AeneasVerifOCaml
Una cadena de herramientas de verificación para programas en Rust.
★ 948+17Variación de estrellas de los últimos 7 días

← Volver a temas