Proprietário · FStarLang

FStarLang

Repositórios de código aberto acompanhados de FStarLang, ordenados por estrelas.

2 repositórios

#1
FStar ↗@FStarLangF*
Uma linguagem de programação orientada a provas.
★ 3.103+4Variação de estrelas nos últimos 7 dias
#2
karamel ↗@FStarLangOCaml
KaRaMeL é uma ferramenta para extrair programas F* de baixo nível para código C legível
★ 518+0Variação de estrelas nos últimos 7 dias