vow-lang

Visão por repositório de 1 skills coletadas em 1 repositórios do GitHub.

skills coletadas

repositórios

atualizado

2026-07-16

mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

explorador de repositórios

criador/repositório/skill

skill

ocupação

descrição

atualizado

Write, compile, debug, and verify Vow programs (.vow files) with contracts, CEGIS, ESBMC counterexamples, diagnostics, and vow build / vow verify.

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos