Stars
11
Forks
1
Language
C
Last Updated
Jan 23, 2024
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Common Lisp | 108 | The People's Verification System | Apr 04, 2023 | |
HTML | 2 | Mastodon Verification System 1.0 | Mar 04, 2023 | |
Verilog | 4 | Pacemaker Verification System project | May 14, 2021 | |
TypeScript | 23 | Open source Discord verification system | Apr 23, 2023 | |
Common Lisp | 3 | People's Verification System in Dedukti | Feb 17, 2023 | |
Java | 4 | Game sales system with Mernis verification | May 13, 2021 | |
Python | 47 | Signature verification system using Siamese networks | Jul 26, 2022 | |
Go | 70 | Dependencies verification system with Kubernetes Operator | Jul 21, 2022 | |
Java | 2 | Customer management system with Mernis verification | May 11, 2021 | |
Python | 2 | A Lifelong Learning Face Verification System | May 24, 2023 | |
Python | 4 | Simple CI system for OpenStack patch verification | Oct 21, 2019 | |
Scala | 158 | The Leon system for verification, synthesis, repair | Apr 09, 2023 | |
JavaScript | 119 | Docker image verification system based on Ethereum | Nov 12, 2021 | |
JavaScript | 4 | Design Studio for Hybrid System Verification Tools | Jun 16, 2020 | |
Prolog | 4 | Vergo: A Verification System for GOLOG Programs | Jul 22, 2022 | |
PHP | 2 | A PHP-based User Password Verification System | Jun 04, 2022 | |
JavaScript | 32 | Discord Guilds New Member Captcha (Verification) System | May 07, 2023 | |
JavaScript | 6 | Certificate Verification and Generation System for IIITV | Apr 08, 2023 | |
PHP | 7 | Simple Key Verification system for client side applications. | Feb 02, 2022 | |
CSS | 9 | Web Client for the "Verify" document verification system | May 24, 2021 | |
JavaScript | 12 | Remove age verification system form PornHub for Russian users. | Mar 30, 2022 | |
C | 510 | ABC: System for Sequential Logic Synthesis and Formal Verification | Aug 16, 2022 | |
None | 2 | Document Exchange/Verification System on Ethereum Blockchain using IPFS | Jun 16, 2022 | |
Python | 2 | Studying speaker verification with VoxCeleb1 and D-vector system | Sep 08, 2021 | |
Java | 3 | online voting system using firebase and aadhaar verification API | May 12, 2022 | |
C | 16 | ABC: System for Sequential Logic Synthesis and Formal Verification | Aug 11, 2022 | |
Python | 27 | Open Source Verification Bundle for VHDL and System Verilog | Jun 13, 2022 | |
Java | 36 | Runtime verification system for Java, using AspectJ for instrumentation. | Jun 26, 2022 | |
C++ | 12 | An Automated health checking and server status verification system. | Mar 03, 2022 | |
PureScript | 6 | (Ab)using PureScript's type system for simple proofs verification | Nov 08, 2019 | |
Python | 3 | This is a OTP system verification using django DRF | Mar 16, 2023 | |
C | 2 | ABC: System for Sequential Logic Synthesis and Formal Verification | Mar 05, 2023 | |
C | 2 | ABC: System for Sequential Logic Synthesis and Formal Verification | Aug 14, 2023 | |
None | 2 | ABC: System for Sequential Logic Synthesis and Formal Verification | Mar 21, 2024 | |
C | 2 | ABC: System for Sequential Logic Synthesis and Formal Verification | May 14, 2024 | |
C | 2 | ABC: System for Sequential Logic Synthesis and Formal Verification | May 14, 2024 | |
Python | 12 | Medical License Verification System - A standardized medical licenses code and means for verification (Includes … | Apr 28, 2021 | |
Python | 4 | An authentication system based on face verification and mood recognition | Feb 24, 2022 | |
Java | 809 | 🔓 Disable SSL verification and pinning on Android, system-wide | Aug 16, 2022 | |
Python | 2 | Global Forecast System (GFS) verification package using MET and METplus | Feb 08, 2022 | |
JavaScript | 16 | WIP PoC verification system for the Livepeer protocol using Truebit | Dec 17, 2021 | |
Python | 45 | Extending the Django authentication system with a phone verification step. | Aug 02, 2022 | |
None | 171 | Accompanying Repository for The Verification of a Distributed System Talk | Mar 17, 2023 | |
JavaScript | 4 | Node Js based project with OTP and Email verification system. | Jul 06, 2023 | |
C# | 10 | Build your own Number verification and two authentication system c# .net | May 22, 2019 | |
Python | 3 | Vietnamese Voice Cloning System using Speaker Verification training on multispeaker Tacotron2 | Apr 28, 2023 | |
Jupyter Notebook | 5 | Signature Verification | Sep 15, 2022 | |
Vue | 2 | Telkom verification | Jan 19, 2023 | |
Python | 17 | BLST-Verification | Jan 03, 2023 | |
Python | 3 | Quadcopter Verification | Aug 10, 2022 |