Produce DTrace monitoring scripts from graphviz-encoded automata
-
Updated
Jun 5, 2016 - Python
Produce DTrace monitoring scripts from graphviz-encoded automata
Python implementation of the exact Riemann solver of Toro (1999).
Ziph's Law Verification using Python.
CodeChecker is a defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Email Verification Script using hunter.io
A Lean nightly installer for CSE 505.
Safety Verification of Deep Neural Networks
OpenSource Server for verificate your MC Account to VK
Verification of LLVM's alias analysis proof rules
The best possible way to verify and validate an email address in Python.
The easiest way to verify emails in your Flask application.
Verification Code Recognition using Matlab Python
Facial verification
sliding verification automation and macbook availability check script
Secure Electronic Voting using Azure Blockchain
A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]
BTCRelay re-implementation in Solidity
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."