Repository Index

TranslatedWTF Solidity minimalist introductory tutorial, for beginners. Now supports English! Official website: https://wtf.academy

• airdrop
• auction
• blockchain
• dapp

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;

• face-detection
• face-alignment
• face-recognition
• face-reconstruction

My own notes (drafts mostly) about software quality

• ebooks
• quality-assurance
• software-testing
• courses

🔒Unified API for password hashing algorithms

• credential
• nodejs
• hash-functions
• security

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

• coq
• awesome
• resources
• awesome-list

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

• formal-verification
• formal-methods
• formal-specification
• ada