verification 1,248 python 80 email 60 validation 54 authentication 52 security 51 formal-methods 51 model-checking 42 formal-verification 42 testing 41 verify 40 verilog 39 systemverilog 38 javascript 37 nodejs 36 blockchain 36 cryptography 32 sms 32 discord 32 uvm 31 php 31 java 30 identity 30 ethereum 30 otp 29 vhdl 29 c 29 coq 29 golang 26 email-verification 25 smart-contracts 25 sdk 25 rust 25 simulation 24 signature 23 haskell 23 android 23 fpga 23 2fa 23 bot 22 captcha 21 login 21 api 20 phone 20 discord-bot 19 go 19 symbolic-execution 19 static-analysis 19 synthesis 18 laravel 18 smt 17 scala 16 signing 16 theorem-proving 15 python3 15 phone-number 15 hash 15 typescript 15 llvm 15 machine-learning 15 code 14 deep-learning 14 risc-v 14 testbench 14 solidity 14 register 14 neural-network 12 js 12 research 12 compiler 12 asic 12 proof 12 authorization 12 database 12 multifactor-authentication 12 yoti 11 verification-code 11 express 11 react 11 hardware 11 mongodb 11 email-validation 11 ocaml 11 certificate 11 firebase 10 auth 10 viper 10 hacktoberfest 10 vlsi 10 docker 10 biometrics 9 node 9 discord-py 9 password 9 specification 9 checksum 9 concurrency 9 formal-specification 9 cpp 9 programming-language 9