params-validate free download

Showing 4 open source projects for "params-validate"

View related business solutions

Cryptography Linux Clear Filters & Widen Search

Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free
Build AI Apps with Gemini 3 on Vertex AI
Access Google’s most capable multimodal models. Train, test, and deploy AI with 200+ foundation models on one platform.

Vertex AI gives developers access to Gemini 3—Google’s most advanced reasoning and coding model—plus 200+ foundation models including Claude, Llama, and Gemma. Build generative AI apps with Vertex AI Studio, customize with fine-tuning, and deploy to production with enterprise-grade MLOps. New customers get $300 in free credits.

Try Vertex AI Free
1

Cryptol

Cryptol: The Language of Cryptography

...Developed by Galois, Cryptol provides a high-level mathematical syntax for describing cryptographic primitives and enables formal verification of algorithm properties. It is used in academic, research, and defense sectors to validate correctness and security through symbolic execution and model checking, ensuring critical cryptographic code is free of design flaws.

Downloads: 0 This Week

Last Update: 2026-01-28
See Project
2

eMark

Free and open-source PDF signing and verification application.

eMark is a free and open-source PDF signing and verification application – a powerful Adobe Reader alternative that enables you to securely sign, verify, timestamp, and protect PDF documents using: 🔑 USB tokens and HSM (PKCS#11) 📜 PKCS#12/PFX certificates 💻 Windows certificate store Works seamlessly on Windows, Linux, and macOS with an Adobe Reader-like interface featuring professional signature verification capabilities. Built for individuals, enterprises, and government...

Downloads: 0 This Week

Last Update: 2025-12-06
See Project
3

EnigmaGPG Community

Sending encrypted data through internet web applications.

Enigma GPG Community allows you to encrypt / sign text and attachments using plugins in browsers, to send encrypted information via any Internet application that can only be understood by the intended recipient ensuring the authenticity, privacy and confidentiality of messages between the sender and receiver . Note the utility that can achieve this project because it aims to meet the global need for privacy on the web. Also applies to any web application that allows text input by the user...

Downloads: 1 This Week

Last Update: 2016-01-03
See Project
4

obov

obov stands for OATH Based OTP validator. It's a 100% pure Java library that provides simple to use methods to validate (and related utilities) one time passwords generated by OATH compliant devices.

Downloads: 0 This Week

Last Update: 2015-09-15
See Project
Easily Host LLMs and Web Apps on Cloud Run
Run everything from popular models with on-demand NVIDIA L4 GPUs to web apps without infrastructure management.

Run frontend and backend services, batch jobs, host LLMs, and queue processing workloads without the need to manage infrastructure. Cloud Run gives you on-demand GPU access for hosting LLMs and running real-time AI—with 5-second cold starts and automatic scale-to-zero so you only pay for actual usage. New customers get $300 in free credit to start.

Try Cloud Run Free