8 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
karamel-git fstar.v2022.11.19.r846.g71facac.karamel.v1.0.0.r421.gbd359d8-1 0 0.00 a tool for extracting low-level F* programs to readable C code crave 2023-03-21 14:26 (UTC)
graudit 3.4-1 0 0.00 Grep rough source code auditing tool. crave 2022-03-16 11:16 (UTC)
dafny-git v3.0.0.rpre.rrelease.r1.r256.rgd25ae257-1 0 0.00 Dafny is a verification-aware programming language crave 2021-03-25 19:52 (UTC)
buckaroo 3.0.2-1 1 0.00 A C++ package manager crave 2021-03-25 19:45 (UTC)
ledger2beancount-git 1.7-1 0 0.00 Ledger to Beancount text-based converter crave 2019-05-19 14:39 (UTC)
ocaml-fstar 0.9.6.0-4 1 0.00 An ML-like language with a type system for program verification. crave 2018-10-13 09:10 (UTC)
fstar-ulib 0.9.6.0-18 0 0.00 compiles the ulib component of F* crave 2018-07-30 10:50 (UTC)
ocaml-wasm 1.0-10 0 0.00 An OCaml library to read and write Web Assembly (wasm) files and manipulate their AST. crave 2018-07-27 16:50 (UTC)

8 packages found. Page 1 of 1.