|
C |
10 |
Jahob Verification System |
Feb 02, 2021 |
|
Common Lisp |
108 |
The People's Verification System |
Apr 04, 2023 |
|
Verilog |
4 |
Pacemaker Verification System project |
May 14, 2021 |
|
Python |
15 |
Mastodon-compatible API Converting System for Misskey |
Feb 02, 2023 |
|
TypeScript |
23 |
Open source Discord verification system |
Apr 23, 2023 |
|
Common Lisp |
3 |
People's Verification System in Dedukti |
Feb 17, 2023 |
|
Scala |
2 |
Purely functional Scala library for Open ID Connect 1.0 token verification and decoding |
Mar 20, 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 |
|
C# |
3 |
Epic Pool System v.1.0 for Unity Engine. |
Feb 21, 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 |
|
None |
3 |
Files for the Medtronic PB560 Ventilator System - Release 1.0 |
May 11, 2020 |
|
Python |
6 |
Online Marriage Registration System (OMRS) 1.0 - Remote code execution |
Mar 09, 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 |
79 |
View Mastodon profiles on your Mastodon instance |
Apr 05, 2023 |
|
Java |
7 |
1.0 |
Aug 25, 2022 |
|
Java |
2 |
1.0 |
Apr 07, 2021 |
|
SCSS |
1482 |
Mastodon documentation |
Aug 17, 2022 |
|
JavaScript |
3 |
mastodon-client |
Apr 03, 2022 |
|
JavaScript |
3 |
Mastodon client |
Feb 03, 2023 |
|
None |
4 |
Mastodon documentation |
Sep 22, 2023 |
|
JavaScript |
2 |
Mastodon bot for sending Mastodon toots to Readwise |
Feb 20, 2023 |
|
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 |