verification
Dépôts open source suivis étiquetés verification, triés par étoiles.
Sujets associés
Sujets qui apparaissent souvent aux côtés de verification sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés verification.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
Recherchez, vérifiez et analysez les identifiants ayant fuité.
★ 27 628+82Évolution des étoiles sur les 7 derniers jours - #2
immudb - base de données immuable basée sur le modèle zéro confiance, supportant SQL/Key-Value/Document, inviolable, avec historique des modifications de données.
★ 9 024+4Évolution des étoiles sur les 7 derniers jours - #3★ 5 758-1Évolution des étoiles sur les 7 derniers jours
- #4★ 3 519+11Évolution des étoiles sur les 7 derniers jours
- #5★ 3 354+20Évolution des étoiles sur les 7 derniers jours
- #6★ 3 099-1Évolution des étoiles sur les 7 derniers jours
- #7
TLC est un vérificateur de modèles pour les spécifications écrites en TLA+. La TLA+Toolbox est un IDE pour TLA+.
★ 3 019+11Évolution des étoiles sur les 7 derniers jours - #8★ 2 486+7Évolution des étoiles sur les 7 derniers jours
- #9
L'OWASP MASVS (Mobile Application Security Verification Standard) est la norme industrielle pour la sécurité des applications mobiles.
★ 2 440+4Évolution des étoiles sur les 7 derniers jours - #10
🖖 GoCaptcha : une bibliothèque de captcha comportemental interactif haute performance pour Go. Prend en charge les modes clic, glisser-déposer et rotation pour sécuriser facilement vos applications.
★ 2 412+8Évolution des étoiles sur les 7 derniers jours - #11★ 1 836+0Évolution des étoiles sur les 7 derniers jours
- #12★ 1 834+4Évolution des étoiles sur les 7 derniers jours
- #13
Un vérificateur statique pour Rust, basé sur l'infrastructure de vérification Viper.
★ 1 807+3Évolution des étoiles sur les 7 derniers jours - #14
Un langage de spécification exécutable avec des outils performants basés sur la logique temporelle des actions (TLA).
★ 1 645+15Évolution des étoiles sur les 7 derniers jours - #15
✅ Une bibliothèque Go pour la vérification d'e-mails sans en envoyer aucun.
★ 1 609+9Évolution des étoiles sur les 7 derniers jours - #16★ 1 365+1Évolution des étoiles sur les 7 derniers jours
- #17
Types liquides pour Haskell.
★ 1 334+2Évolution des étoiles sur les 7 derniers jours - #18
Package Go pour la validation et le filtrage de données. Supporte Map, Struct et les données de formulaire. Bibliothèque polyvalente avec validateurs intégrés, filtres, et support pour validateurs et messages personnalisés.
★ 1 164+0Évolution des étoiles sur les 7 derniers jours - #19★ 1 161+5Évolution des étoiles sur les 7 derniers jours
- #20
Vérifiez facilement vos applications.
★ 1 156+5Évolution des étoiles sur les 7 derniers jours - #21
Vérification de type enfichable pour Java.
★ 1 149+3Évolution des étoiles sur les 7 derniers jours - #22★ 950+4Évolution des étoiles sur les 7 derniers jours
- #23
Un solveur SAT avancé
★ 940+1Évolution des étoiles sur les 7 derniers jours - #24
Package Flutter permettant de créer des champs de saisie de code PIN entièrement personnalisables, avec des animations fluides et la prise en charge de l'autoremplissage iOS et Android.
★ 856+0Évolution des étoiles sur les 7 derniers jours - #25★ 845+1Évolution des étoiles sur les 7 derniers jours
- #26
Un langage de preuve à typage dépendant conçu pour permettre aux ingénieurs logiciels de créer du code bare metal prouvé correct.
★ 835+0Évolution des étoiles sur les 7 derniers jours - #27
Outil open source de génération et de vérification de clés de licence écrit en Go.
★ 824+1Évolution des étoiles sur les 7 derniers jours - #28
Active votre flux de travail basé sur les contrats pilotés par le consommateur.
★ 745+1Évolution des étoiles sur les 7 derniers jours - #29
Projet de vérification fonctionnelle pour la famille de cœurs RISC-V CORE-V.
★ 714+3Évolution des étoiles sur les 7 derniers jours - #30
ARCHIVÉ/DÉPLACÉ : veuillez consulter le nouvel emplacement
★ 704+0Évolution des étoiles sur les 7 derniers jours
