FStarLang/karamel

KaRaMeL é uma ferramenta para extrair programas F* de baixo nível para código C legível

↗ Abrir no GitHub

Estrelas

518

Bifurcações

73

Linguagem

OCaml

Licença

Apache-2.0

Último push

há 2 semanas

OCaml cryptography verification c-language f-star proofs

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.