kremlin
A compiler from Low*, a low-level subset of F*, to C.
Description
Install
- Maintainers
-
Sources
Dependencies
fstar
>= "0.9.6.0"
menhir
>= "20161115"
ocamlbuild
build
ocamlfind
build
ocaml
>= "4.04.0" & < "4.07.0"
Reverse Dependencies