Todas las etiquetas
Etiqueta del catálogo

#abstract-interpretation

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

2 registros
Con la etiqueta «abstract-interpretation»Ordenado por índice de salud
npm
91Excelenteíndice de salud
flowr-analysis/flowr
Sophisticated static program analysis framework for the R programming language.
TypeScript★ 104↓ 13.3K/mes10 sept 2026
GPL-3.010 sept 2026 · métricas 2.10.0
—
81Excelenteíndice de salud
vbpf/prevail
eBPF verifier based on abstract interpretation
C++★ 4712 oct 2026
MIT2 oct 2026 · métricas 2.10.0