FStarLang/karamel

KaRaMeL es una herramienta para extraer programas F* de bajo nivel a código C legible

↗ Abrir en GitHub

Estrellas

518

Bifurcaciones

73

Lenguaje

OCaml

Licencia

Apache-2.0

Último push

hace 2 semanas

OCaml cryptography verification c-language f-star proofs

Aún no hay intel relacionado

Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.