Find, verify, and analyze leaked credentials
Repository Index
47,133 repositories indexed
1–24 of 101 · Most stars
MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devices in order to find signs of a potential compromise.
kaldi-asr/kaldi is the official location of the Kaldi project.
Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node
Fully autonomous & self-evolving research from idea to paper. Chat an Idea. Get a Paper. 🦞
WTF Solidity 极简入门教程，供小白们使用。Now supports English! 官网: https://wtf.academy
A free, secure and open source app for Android to manage your 2-step verification tokens.
Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System, End-to-End Speech Translation and Keyword Spotting. Won NAACL2022 Best Demo Award.
A PyTorch-based Speech Toolkit
Neural building blocks for speaker diarization: speech activity detection, speaker change detection, overlapped speech detection, speaker embedding
PostgreSQL backup tool with Point-In-Time-Recovery and restore verification
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
A framework for distributed systems verification, with fault injection
papers about Face Detection; Face Alignment; Face Recognition && Face Identification && Face Verification && Face Representation; Face Reconstruction; Face Tracking; Face Super-Resolution && Face Deblurring; Face Generation && Face Synthesis; Face Transfer; Face Anti-Spoofing; Face Retrieval;
A light-weight, flexible, and expressive statistical data testing library
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Model-based design and verification for robotics.
The P programming language.
[验证码识别-训练] This project is based on CNN/ResNet/DenseNet+GRU/LSTM+CTC/CrossEntropy to realize verification code identification. This project is only for training the model.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
A self-hosted UPI & COD payment gateway with zero per-transaction platform fees, universal JavaScript checkout integration, dynamic QR payments, WhatsApp OTP authentication, and automated payment verification.
Patch-level verification for Bundler
My own notes (drafts mostly) about software quality
Binary Analysis Platform