6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
buckaroo 3.0.2-1 0 0.00 A C++ package manager crave
dafny-git v3.0.0.rpre.rrelease.r1.r256.rgd25ae257-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
ledger2beancount-git 1.7-1 0 0.00 Ledger to Beancount text-based converter crave
ocaml-fileutils 0.5.3-1 1 0.00 A library to provide pure OCaml functions to manipulate real file and filename. 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

6 packages found. Page 1 of 1.