Search Results for "validate" - Page 3
Sort By:
Showing 436 open source projects for "validate"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
Laravel Welcome Notification
Send a welcome notification to new users
Send a welcome notification to new users. Using this package you can send a Welcome Notification to a new user of your app. The notification contains a secure link to a screen where the user can set an initial password. -
2
Laravel URL Signer
Create and validate signed URLs with a limited lifetime
Create signed URLs with a limited lifetime in Laravel. This package can create URLs with a limited lifetime. This is done by adding an expiration date and a signature to the URL. -
3
jrean/laravel-user-verification
PHP package built for Laravel 5.* & 6.* & 7.* & 8.* & 9.* & 10.*
jrean/laravel-user-verification is a PHP package built for Laravel 5., 6., 7., 8., 9.* & 10.* to easily handle a user verification and validate the e-mail. -
4
Jesse
An advanced crypto trading bot written in Python
...Jesse emphasizes structured outputs, safety boundaries, and explainable reasoning, helping users design agents that don’t just hallucinate responses but can coordinate steps, validate conditions, and interact with systems predictably. It also includes built-in support for evaluation, logging, and orchestration so developers can monitor, test, and improve agent behavior over time. Because it’s framework-agnostic with respect to model providers, Jesse can work with different LLM backends, giving teams flexibility in cost and capability trade-offs. -
Your monitoring isn't a stack. It's a pile. Fix that.Replace Datadog, New Relic, and Sentry without adding three more dashboards.
-
5
Auto Claude
Autonomous multi-session AI coding
Auto-Claude is an autonomous, multi-agent coding framework that organizes software work into a structured workflow where agents plan, build, and validate code with minimal manual micromanagement. Instead of relying on a single chat thread to do everything, it uses coordinated agents and a task-driven approach so multiple steps—like investigation, implementation, and testing—can be executed systematically. The project aims to make “agentic software engineering” feel like running a small virtual dev team by giving you an opinionated process for turning goals into scoped tasks and then driving those tasks to completion. ... -
6
Qbot
AI-powered Quantitative Investment Research Platform
Qbot is an open source quantitative research and trading platform that provides a full pipeline from data ingestion and strategy development to backtesting, simulation, and (optionally) live trading. It bundles a lightweight GUI client (built with wxPython) and a modular backend so researchers can iterate on strategies, run batch backtests, and validate ideas in a near-real simulated environment that models latency and slippage. The project places special emphasis on AI-driven strategies — including supervised learning, reinforcement learning and multi-factor models — and offers a “model zoo” and example strategies to help users get started. For evaluation and analysis, Qbot integrates reporting and visualization (tearsheets, metrics) so you can compare performance across runs and inspect trade-level behavior. ... -
7
OpenWork
An open-source alternative to Claude Cowork, powered by opencode
...At its core, the project enables contributors to define tasks, workflows, and goals that can be split, shared, and recombined across distributed nodes while agents and humans cooperate to advance progress. It offers structured templates for work items, decision logic for task allocation, and consensus mechanisms that let groups verify and validate results toward shared objectives. This project also includes moderation and reputation layers so that contributor trust and quality can be assessed and integrated into future task assignments. Rather than a single monolithic workflow engine, it emphasizes openness — providing APIs and interfaces so communities can build custom dashboards, integrate specialized agents, or add bespoke evaluation criteria. -
8
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. -
9
lockfile linting
Lint an npm or yarn lockfile to analyze and detect security issues
lockfile-lint is a security tool that helps validate npm and Yarn lockfiles to prevent malicious dependency injections. It checks for common security issues such as package integrity violations and unauthorized registry usage. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
Node.js version alias
Resolve Node.js version aliases like `latest`, `lts` or `erbium`
Resolve Node.js version aliases like `latest`, `lts` or `erbium`. Those aliases are used by Node.js version managers like nvm, nvs, n, nave, nodeenv or nodist. This resolves them to a "major.minor.patch" version string. This package is an ES module and must be loaded using an import or import() statement, not require(). Base URL to fetch the list of available Node.js versions. Can be customized. -
11
Shannon
Fully autonomous AI hacker to find actual exploits in your web apps
...It focuses on “proof by exploitation,” meaning it actively hunts for attack vectors in your code and then attempts to execute end-to-end exploits to demonstrate impact. The project blends source-aware analysis with automated web interaction so it can validate issues like injection flaws, authentication bypasses, and other exploitable paths in a way that resembles an actual attacker’s workflow. Instead of requiring you to manually reproduce findings, Shannon is designed to produce actionable evidence that a weakness can be weaponized, which helps teams prioritize what truly matters. It positions itself as a pre-attacker safety net, aiming to break your web app before someone else does and thereby reduce the gap between “potentially vulnerable” and “confirmed exploitable.” -
12
BlockScout
Blockchain explorer for Ethereum based network
...Currently available full-featured block explorers (Etherscan, Etherchain, Blockchair) are closed systems which are not independently verifiable. As Ethereum sidechains continue to proliferate in both private and public settings, transparent, open-source tools are needed to analyze and validate transactions. -
13
simdjson
Parsing gigabytes of JSON per second
JSON is everywhere on the Internet. Servers spend a *lot* of time parsing it. We need a fresh approach. The simdjson library uses commonly available SIMD instructions and microparallel algorithms to parse JSON 4x faster than RapidJSON and 25x faster than JSON for Modern C++. The simdjson library uses three-quarters less instructions than state-of-the-art parser RapidJSON. To our knowledge, simdjson is the first fully-validating JSON parser to run at gigabytes per second (GB/s) on commodity... -
14
Symfony OptionsResolver
Provides an improved replacement for the array_replace PHP function
Symfony Options Resolver is a PHP component that simplifies the handling of configuration options in your applications. It helps developers define, validate, and normalize configuration arrays, making it easier to manage options passed to classes or functions. The component ensures that the provided options meet the expected structure and values, improving code robustness and flexibility. -
15
Laravel Model Status
Easily add statuses to your models
Imagine you want to have an Eloquent model hold a status. It's easily solved by just adding a status field to that model and be done with it. But in case you need a history of status changes or need to store some extra info on why a status changed, just adding a single field won't cut it. -
16
nette Schema
Validating data structures against a given Schema
...In variable $schema we have a validation schema (what exactly this means and how to create it we will say later) and in variable $data we have a data structure that we want to validate and normalize. This can be, for example, data sent by the user through an API, configuration file, etc. -
17
Cucumber JVM
Cucumber for the JVM
...Whether open source or commercial, our collaboration tools will boost your engineering team's performance by employing Behavior-Driven Development (BDD). And with our world-class training, take it to places it’s never been. Validate executable specifications against your code on any modern development stack. 40+ million open source downloads, the #1 tool for BDD. Define the feature files with all your stakeholders using Behavior-Driven Development (BDD). Automatically create documentation that’s up to date and easily shareable. -
18
actionlint
Static checker for GitHub Actions workflow files
...It analyzes workflow YAML to catch syntax mistakes, invalid keys, expression errors, incorrect action inputs, and workflow configuration problems before they break CI. The tool also performs strong type checks for GitHub Actions expressions, which helps detect nonexistent properties and type mismatches. It can validate reusable workflows, workflow calls, glob syntax, runner labels, cron syntax, and job dependencies. actionlint also integrates with ShellCheck and pyflakes to inspect scripts written inside run: blocks. It is especially useful for developers and teams that rely heavily on GitHub Actions and want faster, more reliable workflow feedback. -
19
Umbrel
A beautiful personal server OS for Raspberry Pi or any Linux distro
Run your personal server with a Bitcoin and Lightning node in your home, self-host open source apps like Nextcloud and Matrix to break away from big tech, and take full control of your data. For free. All our interactions on the internet today are mediated by a few companies who offer “free” services in exchange for storing our data on their servers to spy on us. Running a personal server fundamentally changes that. You and your family’s photos, videos, files, notes, passwords, everything,... -
20
svelte-jsoneditor
Web-based tool to view, edit, format, repair, query, & transform JSON
A web-based tool to view, edit, format, transform, and validate JSON. The library is written with Svelte, but can be used in plain JavaScript too, and in any framework (SolidJS, React, Vue, Angular, etc). View and edit JSON, has a low-level text editor and high-level tree view and table view. Format (beautify) and compact JSON. Sort, query, filter, and transform JSON. JSON schema validation and pluggable custom validation. -
21
Scientist
A Ruby library for carefully refactoring critical paths
Scientist is a Ruby library developed by GitHub that enables safe, data-driven refactoring by running both the existing ("control") and new ("candidate") code paths in production, comparing their results and performance, while returning only the original output. It empowers developers to validate new implementations without affecting user-facing behavior. -
22
Maelstrom
A workbench for writing toy implementations of distributed systems
Maelstrom is a distributed-systems workbench by the Jepsen team. It provides standardized JSON-based protocols and test harnesses (via Jepsen) to validate the behavior of custom toy systems—like commutative sets or transactional key-value stores—under simulated failure conditions. You implement your server in any language, connect through stdin/stdout, and the framework injects network disruptions, partitions, and consistency checks. -
23
simple-java-maven-app
For an introductory tutorial on how to use Jenkins
simple-java-maven-app is a reference repository created for the Jenkins tutorial on building a Java application with Maven. It contains a minimal Java program that prints “Hello world!” and includes unit tests to validate functionality, with test results exported in JUnit XML format. The repository provides an example that demonstrates how to configure a Jenkins Pipeline for building and delivering applications. It also includes scripts that define commands executed in pipeline stages, showcasing automation in continuous integration and delivery (CI/CD). ... -
24
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments. -
25
Datumaro
Dataset Management Framework, a Python library and a CLI tool to build
...It supports importing and exporting annotations and images across a wide variety of standards like COCO, PASCAL VOC, YOLO, ImageNet, Cityscapes, and many more, enabling easy integration with different training pipelines and tools. Datumaro makes it easy to merge datasets, split them into training/validation/test subsets, filter or transform annotations, and validate annotation quality — all while preserving metadata and supporting detailed statistics. It’s especially useful when you’re dealing with heterogeneous data sources or need to prepare complex datasets for machine learning workflows, freeing you from writing custom scripts for every format conversion.
