Tópico · fstar

fstar

Repositórios de código aberto acompanhados marcados com fstar, ordenados por estrelas.

Repositórios

2

Total de estrelas

4.039

Média de estrelas

2.020

Participação

0,00%

Tópicos que aparecem com frequência ao lado de fstar no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com fstar.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
FStar ↗@FStarLangF*
Uma linguagem de programação orientada a provas.
★ 3.103+4Variação de estrelas nos últimos 7 dias
#2
aeneas ↗@AeneasVerifOCaml
Uma cadeia de ferramentas de verificação para programas em Rust
★ 948+17Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos