Ruby interface to IEEE 1364-2005 Verilog VPI
-
Updated
Jun 30, 2011 - Ruby
Ruby interface to IEEE 1364-2005 Verilog VPI
Python extension for Kerberos 5 password verification
Quick perl script to check a list of email addresses for valid and bogus.
jQuery plugin for the email-validator.net API
Extending a toy compiler written in Agda... by Proving It Correct!
Produce DTrace monitoring scripts from graphviz-encoded automata
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
A fortress safe from deadlocks, proved with formal verification
VHDL-2008 Support Library
Memory consistency model checking and test generation library.
Colu Colored Coins Protocol
Email Address Verification for Elixir that uses the kickbox.io API.
By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件
This is a multilayer testbench for vending machine verification
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."