V

verification

Vendor-Independent, Fully Verified, Open Source VHDL Common Library

Agent-oriented SMS OTP verification lifecycle with a fail-closed cost guard (SMS-Activate-compatible, mock-first)

Two complete Russian books preserved as independently verifiable Bitcoin inscriptions

Ansible automation for setting up https://verification.f-droid.org

Research that argues with itself: an adversarial refuter attacks every draft, typed claims are verified against their cited sources, and the engine abstains honestly when the evidence is thin.

A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector

Bubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).

Application for verifying CD rips using AccurateRip database.

Read-only mirror of https://github.com/arcctgx/ARver

Verification engine for AI-assisted software changes

Deterministic timer IP core in VHDL for precise time-based event generation, supporting configurable periods and synchronization mechanisms.

A small package that helps dealing with Machine Learning features with pandas.