verification

Encuentra, verifica y analiza credenciales filtradas

immudb - base de datos inmutable basada en confianza cero, modelo SQL/Key-Value/Documento, a prueba de manipulaciones, historial de cambios de datos

Librería de simulación (mocking) para Kotlin

Dafny es un lenguaje de programación con capacidad de verificación.

Kani Rust Verifier

Un lenguaje de programación orientado a pruebas

TLC es un verificador de modelos para especificaciones escritas en TLA+. TLA+ Toolbox es un IDE para TLA+.

cocotb: verificación de chips (RTL) basada en Python

El estándar OWASP MASVS (Mobile Application Security Verification Standard) es el estándar de la industria para la seguridad de aplicaciones móviles.

🖖 GoCaptcha: Una librería de captcha de comportamiento interactivo y alto rendimiento para Go. Admite modos de clic, deslizamiento, arrastrar y soltar, y rotación para asegurar tus aplicaciones con facilidad.

HACL*, una biblioteca criptográfica verificada formalmente escrita en F*

Creusot te ayuda a demostrar que tu código Rust es correcto.

Un verificador estático para Rust, basado en la infraestructura de verificación Viper

Un lenguaje de especificación ejecutable con herramientas excelentes basado en la lógica temporal de acciones (TLA).

Una biblioteca de Go para la verificación de correos electrónicos sin enviar ningún mensaje.

GPU de código abierto en Verilog, basada libremente en la ISA RISC-V

Tipos líquidos para Haskell.

Paquete de Go para validación y filtrado de datos. Soporta Map, Struct y datos de formulario. Biblioteca de validación y filtrado de datos universal para Go, fácil de usar, con la mayoría de validadores y filtros comunes integrados, y soporte para validadores, mensajes y traducción de campos personalizados.

Verificación automática de optimizaciones de LLVM.

Verifica aplicaciones fácilmente.

Verificación de tipos conectable para Java

Servicio de verificación de código fuente para contratos inteligentes de Ethereum

Un solucionador SAT avanzado.

Paquete de Flutter para crear campos de entrada de código PIN con posibilidad de personalización total de píxeles 🎨, con animaciones fluidas y autocompletado para iOS y Android

VUnit es un framework de pruebas unitarias para VHDL/SystemVerilog

Un lenguaje de prueba con tipos dependientes diseñado para hacer posible el código bare metal demostrablemente correcto para ingenieros de software.

Herramienta de código abierto para la generación y verificación de claves de licencia escrita en Go

Habilita su flujo de trabajo de contratos dirigidos por el consumidor.

Proyecto de verificación funcional para la familia de núcleos RISC-V CORE-V.

ARCHIVADO/MOVIDO: por favor, visite la nueva ubicación.