Search Results for "verification server" - Page 2
Sort By:
Showing 78 open source projects for "verification server"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
MathCode
A Frontier Mathematical Coding Agent
...Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines. -
2
Open SaaS
Open source SaaS boilerplate for React, NodeJS apps with Wasp stack
Open SaaS is a free and open source starter template designed to help developers quickly build and launch Software-as-a-Service applications. It is built on the Wasp full stack framework, which combines React, NodeJS, and Prisma to manage both client and server code within a unified architecture. Open SaaS provides a production-ready foundation that includes common SaaS functionality such as authentication, payments, analytics, and file uploads. Developers can use it as a boilerplate to... -
3
SSH for GitHub Actions
GitHub Actions for executing remote ssh commands
...It also supports proxy and jump host workflows, making it useful for more complex infrastructure environments. Developers can pass environment variables, run scripts from files, capture command output, and add security checks such as host fingerprint verification. -
4
Agentic Commerce Protocol (ACP)
Interaction model for connecting buyers to complete purchases
ACP is an open, draft specification for letting buyers, their AI agents, and businesses complete purchases through a standardized interaction model. It’s maintained by OpenAI and Stripe and licensed under Apache-2.0, with the goal of being easy to adopt alongside a merchant’s existing commerce stack rather than replacing it. The repository organizes the spec as human-readable RFCs plus machine-readable OpenAPI and JSON Schema definitions, along with worked examples and a changelog so... -
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
5
IBM TPM Attestation Client Server
IBM's TPM 2.0 Attestation Client Server
...The display web UI requires a web server, php, and the php interface to the mysql database. It includes both BIOS and IMA (Integrity Measurement Architecture) attestation, including validation of both event logs and IMA signature verification. See IBM TSS at https://sourceforge.net/projects/ibmtpm20tss -
6
Bacula is a set of computer programs that permit managing backup, recovery, and verification of computer data across a network of computers of different kinds. Based on Source Forge downloads, Bacula is the most popular Open Source backup program.
-
7
Vendor Neutral AI SDK for EDA Agents
RTL, Verification, Lint, CDC, FECAD, Synthesis, DFT, SoC Integration
AI agent fleet for EDA: a Flow Manager, 7 domain Leads and 55 agents that parse RTL, build a design model, and run FECAD, DFT, RTL-static, verification, signoff and SoC-integration flows from one natural-language request. Ships a Python SDK, a CLI, a TUI, a WebGUI, an MCP facade, and VS Code and Cursor extensions. Runs entirely inside your network against a local model server or your own provider keys. One planner across RTL → CDC → DFT → DV → Signoff A modern sign-off chains ten or more tools, each with its own flags, logs and failure modes — and the engineer is the integration layer. ... -
8
SecureBit.chat - P2P Encrypted Messenger
P2P encrypted messenger. No servers, no metadata, no registration.
...Security: per-message forward secrecy with a DH ratchet, out-of-band SAS verification as the single trust-transition point, deny-by-default for control frames before verification, ECDH secrets zeroed after key derivation, view-once messages kept out of OS notifications. The threat model is published. No independent third-party audit has been performed. An internal security review of the protocol and web client produced 15 findings, with all High and Medium severity issues closed. ... -
9
Fetchmail - the mail-retrieval daemon
Client daemon to move mail from POP and IMAP to your local computer
Fetchmail is a mail retrieval daemon that can download messages from POP3, IMAP, ODMR and ETRN-based stores, with SSL/TLS security including certificate verification, and pass downloaded mail to a local SMTP or LMTP server, or a message delivery agent such as maildrop. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
S-Indexing-Tool
it is a opensorce indexing tool help to index SEO
.... ------------------------------------------------------------- 1. PREREQUISITES & ONE-TIME SETUP ------------------------------------------------------------- Before using the tool for the first time, complete a quick verification on your website server: Step 1: Create a Verification Key - Open the Instant Indexing Tool. - Click the "Generate Key" button inside the app (or create a custom key, e.g., indexkey111). Step 2: Upload Key File to Your Website - Creat -
11
X509 GUI Certificate Viewer
Display online (TLS, DTLS, OPC, QUIC, SMTP) & offline certificates
-
12
Password-Manager
Online keepass-like tool to manage password. client-side AES encrypt!
...Passwords are generated on users' browsers and then encrypted using AES256 (mode CBC). PBKDF2 with SHA512 is used for user identification check. In trusted computers, user can enable a PIN to login faster. PIN verification is complicated and involves both server and client. Though PIN is only 4 digits, it's still safe (server will disable PIN upon 3 errors) You can import CSV file including your account and passwords from other password managers to this one. Tags and search are supported now. Installation: https://github.com/zeruniverse/Password-Manager/wiki/Installation Upgrade: https://github.com/zeruniverse/Password-Manager/wiki/Upgrade-Password-Manager For demo, please visit: http://phppasswordmanager.sourceforge.net/ You can access the database for this demo at: https://mysql-p.sourceforge.net with login user: p2663268ro and password:12345678 -
13
NKTgLaw
Core library & API for the NKTg Law (Nguyen Khanh Tung). Includes core
Core library & API for the NKTg Law (Nguyen Khanh Tung). Includes core implementation, REST/gRPC API, and 150+ client wrappers -
14
Liveliness and Face Identification
Leading free and open-source liveliness check &face recognition system
This is a free and open-source liveliness check and face recognition project. Essentially, it is an application that can be used as a standalone server or deployed in the cloud. You don’t need prior machine learning skills to set up and use. The application is customizable react based mobile friendly UI and Python based backend. The program is a real-time face detection application. It allows you to detect faces using your webcam and displays the video feed with oval drawn around the... -
15
Exadel CompreFace
Leading free and open-source face recognition system
Exadel CompreFace is a free and open-source face recognition GitHub project. Essentially, it is a docker-based application that can be used as a standalone server or deployed in the cloud. You don’t need prior machine learning skills to set up and use CompreFace. The system provides REST API for face recognition, face verification, face detection, face mask detection, landmark detection, age, and gender recognition. The solution also features a role management system that allows you to easily control who has access to your Face Recognition Services. ... -
16
Node and Express Tutorial
Node Tutorial and Projects Course
...Authentication material also covers workflows such as email verification and password resets. The repository emphasizes building functioning APIs rather than learning server concepts only through isolated examples. Its organized project folders let developers study individual backend topics or follow the curriculum sequentially. -
17
Data Entry System v2
Framework with web data entry, OCR & designer
Framework with web data entry,, verification, OCR & project designer. It works with Docker or Debian dedicated server. Fast and Optimized version. -
18
Blessing Skin Server
Web application brings custom skins back in offline Minecraft servers
Puzzled by losing your custom skins in Minecraft servers running in offline mode? Now you can easily get them back with the help of Blessing Skin. Blessing Skin is a web application where you can upload, manage and share your custom skins & capes! Unlike modifying a resource pack, everyone in the game will see the different skins of each other (of course they should register at the same website too). Blessing Skin is an open-source project written in PHP, which means you can deploy it freely... -
19
A client implementation of Secure Socket Tunneling Protocol (SSTP) for Linux / Mac OS-X that allows remote access via SSTP VPN to Microsoft Windows 2008 Server. This project has been moved to https://gitlab.com/eivnaes/sstp-client
-
20
sirius signing server
Centralized signing and verification
Sirius-Sign is a signing and verification server with it's focus on high throughput and easy integration into an existinig landscape. For signature creation smartcards with OCF and PKCS11 interfaces are supported. An EJB container is required. -
21
gdrive
Google Drive CLI Client
gdrive is a command line utility for interacting with Google Drive. gdrive is finally verified for using sensitive scopes which should fix the This app is blocked error. Note that the project name will show up as project-367116221053 when granting access to you account. Binaries are statically linked. If you want to compile from source you need the go toolchain. Version 1.5 or higher. The first time gdrive is launched (i.e. run gdrive about in your terminal not just gdrive), you will be... -
22
mod_sslcrl
Automatically updates and applies certificate revocation lists
mod_sslcrl is a module for the Apache Web server implementing CRL (Certificate Revocation Lists) verification automatically downloading new CRL files from the corresponding CA. -
23
Laravel-Nuxt
A Laravel-Nuxt starter kit
A Laravel-Nuxt starter kit. In production, you need a process manager to keep the Node server alive forever. -
24
RAP2-DELOS
Open source interface management tool
...Perform mocha test cases and js code specification checks. Start server monitoring in development mode and automatically restart when code changes occur. -
25
Key Transparency
A transparent and secure way to look up public keys
Key Transparency is a system for accountable public-key discovery that lets users and senders verify the keys associated with an account over time. It combines an append-only log with a verifiable map so changes to a user’s keys produce cryptographic proofs, enabling clients to detect malicious insertions or undetected key rotations. The architecture separates operators from verifiers: even if the service is compromised, independent clients can audit inclusion and consistency proofs to...
