6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
dafny-bin 2.2.0-1 0 0.00 Dafny is a verification-aware programming language malet
fstar-ulib 0.9.6.0-18 0 0.00 compiles the ulib component of F* malet
nodejs-madoko 1.1.4-1 0 0.00 malet
nusmv-bin 2.6.0-1 1 0.03 A new symbolic model checker malet
ocaml-visitors 20180513-2 1 0.00 An OCaml syntax extension for generating visitor classes. malet
python-language-server-black 0.3.0-1 0 0.00 Black plugin for the Python Language Server. malet

6 packages found. Page 1 of 1.