6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
fex-utils-git 20150615.r0.ge600969-1 2 0.00 Utilities for F*EX, a web service to send very large files. cptiglo
fstar-ulib 0.9.6.0-18 0 0.00 compiles the ulib component of F* malet
kremlin 0.9.6.0-2 0 0.00 a tool for extracting low-level F* programs to readable C code crave
fstar-git 20180518-1 6 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar 0.9.6.0-1 3 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.6.0-2 4 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort

6 packages found. Page 1 of 1.