5 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
dafny-git v2.2.0.r19.g45af975d-1 0 0.00 Dafny is a verification-aware programming language crave
kremlin 0.9.6.0-2 0 0.00 a tool for extracting low-level F* programs to readable C code crave
ocaml-fix 20130611-7 1 0.06 a least fixed point computation library, using an efficient imperative algorithm crave
ocaml-fstar 0.9.6.0-4 1 0.25 An ML-like language with a type system for program verification. crave
ocaml-wasm 1.0-10 0 0.00 An OCaml library to read and write Web Assembly (wasm) files and manipulate their AST. crave

5 packages found. Page 1 of 1.