verification topic

🔒Unified API for password hashing algorithms

simonepri

The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.

OWASP

VUnit is a unit testing framework for VHDL/SystemVerilog

VUnit

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

dpretet

Fact Extraction and VERification baseline published in NAACL2018

sheffieldnlp

Allows you to spoof SMS number verification.

transitive-bullshit

Firebase Spring Boot Rest API Authentication

gladius

My own notes (drafts mostly) about software quality

ligurio

SeaHorn Verification Framework

seahorn

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

cocotb