AlphaUncommon
FStarLang/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
- Owner
- FStarLang (organization)
- Stars
- Stars: 524
- Forks
- Forks: 74
- Language
- OCaml
- License
- Apache-2.0
- Created
- 2016
- Topics
- verificationproofscryptographyc-languagef-star
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by FStarLang
All 2 repos by FStarLang- FStarLang/FStarStars: 3,132F*RC
Nearby in OCaml
All OCaml repos- inhabitedtype/httpafStars: 538OCamlAlpha
- esumii/min-camlStars: 532OCamlAlpha
- ocaml-batteries-team/batteries-includedStars: 524OCamlAlpha
- c-cube/ocaml-containersStars: 522OCamlAlpha
- ocaml-ppx/ppx_derivingStars: 522OCamlAlpha
- rrdelaney/ReasonablyTypedStars: 517OCamlAlpha