22 Repos
Pre-built validation routines for common data types used in algorithmic testing.
Distinct from Static Type Checkers: Distinct from Static Type Checkers: focuses on runtime data validation logic rather than compile-time type safety.
Explore 22 awesome GitHub repositories matching software engineering & architecture · Validation Logic. Refine with filters or upvote what's useful.
This project is a comprehensive, community-maintained knowledge base and toolkit designed for competitive programming. It serves as a centralized repository for algorithmic theory, data structures, and mathematical techniques, providing a structured reference for informatics and collegiate programming competitions. The project distinguishes itself by integrating educational content with a robust suite of automation utilities. It provides a complete workflow for competitive programming, including tools for automated test case generation, solution verification, and direct interaction with onlin
Provides reusable validation logic for common data types to streamline test case verification.
Clap is a command-line argument parser for Rust that enables developers to define complex interfaces through strongly-typed data structures. It functions as a comprehensive framework for building terminal applications, automating the transformation of raw string inputs into validated, type-safe code representations while simultaneously generating help documentation and usage statements. The library distinguishes itself by offering both a declarative, attribute-based approach and a fluent builder-pattern API, allowing for flexible interface construction. It includes a sophisticated validation
Transforms raw command-line input into typed data by applying custom parsing logic or range constraints.
This project is a comprehensive guide to architectural standards and coding patterns for developing maintainable applications within the Laravel framework. It focuses on clean code standards, applying the single responsibility and DRY principles to ensure codebase predictability and consistency. The guide emphasizes decoupling components by moving business logic into service layers and shifting input validation into dedicated request classes to keep controllers lean. It advocates for the use of a service container and dependency injection to reduce class coupling and improve testability. The
Shifts input validation rules from controllers into dedicated request classes to decouple verification from execution.
EmailValidator is a PHP library for verifying email address syntax, format, and DNS records against technical specifications. It functions as a logic-based checker to ensure email addresses follow standard global formatting and communication rules. The library includes security utilities to identify deceptive characters and spoofing attempts in email addresses. These anti-spoofing tools analyze email strings for Unicode characters that mimic standard Latin letters to prevent fraudulent impersonation. The project covers domain verification through DNS record checks to confirm a destination se
Provides a standard interface allowing custom validation rules to be plugged into the core checking process.
yargs is a command-line interface framework and argument parser for Node.js. It translates raw command-line strings into structured JavaScript objects, providing a toolkit for building terminal applications with nested sub-commands, dedicated handlers, and a structured user interface. The framework distinguishes itself through automated help text generation, which constructs formatted usage menus and instructions based on registered metadata. It also provides shell completion generation for Bash and Zsh and uses string-distance algorithms to offer typo correction suggestions when invalid inpu
Enforces the presence of required arguments and displays custom error messages when they are missing.
Mockery is a PHP framework designed for creating test doubles, stubs, and spies to facilitate isolated unit testing. It serves as a utility for simulating class behavior, intercepting method calls, and validating arguments, allowing developers to replace real dependencies with mock objects to verify that code components interact as intended. The framework distinguishes itself through advanced capabilities for handling complex testing scenarios, such as bypassing constructors, mocking protected methods, and intercepting static calls or internal object instantiations. It provides a fluent inter
Provides mechanisms to validate arguments passed to mock objects during test execution.
This project is a GraphQL implementation for Go, providing a complete suite for building GraphQL servers. It includes a schema engine for defining types, a query parser to convert strings into abstract syntax trees, and an execution engine that resolves fields against a defined schema to return structured data. The library distinguishes itself through reflection-based type mapping, allowing object definitions and arguments to be derived directly from native Go structs. It also supports the execution of real-time data streaming via GraphQL subscriptions and provides an extensible execution pip
Ensures that each field or directive contains only one instance of any given argument name.
oclif is a Node.js framework for building command-line interfaces. It provides a structured system for developing terminal applications with consistent command patterns, argument parsing, and automated help generation. The project features a modular plugin architecture that allows for external functionality to be injected via a manifest-based loading mechanism. It includes a dedicated distribution pipeline and packager to bundle applications into OS-native installers and tarballs for Windows, macOS, and Linux. The framework covers a broad range of development capabilities, including project
Provides a strictly validated schema for processing and validating command-line flags and arguments.
Prophecy is a PHP mocking framework and test double library used to simulate object dependencies during unit testing. It serves as a behavioral testing tool for creating mocks, stubs, and dummies to isolate code and ensure predictable test results. The framework enables interaction verification by tracking method call counts and arguments to validate that specific interactions occurred. It supports defining specific return values or custom logic for method calls to simulate various execution scenarios. The library provides capabilities for argument matching based on type or value, interactio
Includes routines for validating arguments passed to mock objects using types, values, or custom callbacks.
go-sqlmock is a Go library that simulates SQL driver behavior for unit testing by intercepting database calls through the standard database/sql/driver interface, eliminating the need for a real database connection. It provides a comprehensive mocking framework that allows developers to define expectations for SQL operations, including queries, executions, prepared statements, and transaction lifecycles, with precise control over the results and errors returned. The library distinguishes itself through its flexible matching and verification capabilities. It supports regex-based or exact SQL
Provides custom argument matchers for comparing complex types like time.Time in database query expectations.
Dieses Projekt ist eine Capture-the-Flag-Plattform und eine Cybersecurity-Trainingsumgebung. Es bietet ein Framework für das Deployment von Sicherheitsherausforderungen und die Verfolgung des Teilnehmerfortschritts über eine Echtzeit-Punktetabelle. Die Plattform dient als Scoreboard für Sicherheitswettbewerbe und als Managementsystem, das absichtlich verwundbare Infrastrukturen für das Üben von Reverse Engineering und Software-Exploitation-Techniken hostet. Sie verwaltet die Entdeckung geheimer Strings innerhalb dieser Rätsel, um die Team-Ranglisten zu bestimmen. Das System deckt das Management von Cybersecurity-Wettbewerben, das Deployment von Sicherheitsherausforderungen und das Training in Schwachstellenforschung ab. Es nutzt ein Tracking-System, um die Gesamtpunktzahl basierend auf der Anzahl der gelösten Sicherheitsherausforderungen zu überwachen.
Verifies successful exploitation of challenges by checking if the participant submitted the correct secret string.
Diese Bibliothek ist ein .NET-Kommandozeilen-Parser für C# und F#, der POSIX-getopt-Konventionen implementiert, um Shell-Argumente in stark typisierte Objekte zu mappen. Sie bietet ein Framework für die Erstellung von Konsolenanwendungen, die Unix-artige Flags und Optionen verarbeiten. Das Projekt verfügt über ein Routing-System, das die Programmausführung basierend auf aktionsorientierten Verben steuert und Sub-Commands sowie Standardaktionen unterstützt. Es enthält einen automatischen Hilfe-Generator, der lokalisierte Nutzungshinweise und formatierte Hilfebildschirme basierend auf den definierten Befehlsoptionen erstellt. Das Toolset deckt das Argument-Parsing mit stark typisiertem Mapping, Eingabevalidierung für sich gegenseitig ausschließende oder erforderliche Optionen sowie die Möglichkeit ab, befüllte Options-Objekte zurück in Kommandozeilen-Strings zu serialisieren.
Provides routines for validating command-line input, including required options and mutually exclusive flag combinations.
CLI11 ist eine Header-only C++-Bibliothek zum Parsen von Befehlszeilenargumenten und zur Verwaltung von Konfigurationsdateien. Sie bildet Shell-Eingaben auf typisierte Variablen ab und unterstützt die Erstellung komplexer Befehlshierarchien. Die Bibliothek zeichnet sich durch die Unterstützung verschachtelter Unterbefehle mit unendlicher Tiefe und Präfix-Matching aus. Sie integriert Konfigurationsmanagement, indem sie das Laden von Anwendungseinstellungen aus TOML- oder INI-Dateien ermöglicht, mit der Option, auf Umgebungsvariablen zurückzugreifen. Das Projekt bietet ein umfassendes Set an Tools für das Argument-Parsing, einschließlich Flags und positioneller Argumente, sowie ein Validierungs-Framework zur Durchsetzung obligatorischer Optionen und gegenseitiger Abhängigkeiten. Es enthält zudem eine automatisierte Generierung von Hilfedokumentationen mit anpassbarer Formatierung und ein Callback-System, um benutzerdefinierte Logik während spezifischer Parsing-Phasen auszulösen. Diese abhängigkeitsfreie Bibliothek ist für C++11 und neuere Versionen konzipiert.
Validates that input values meet specific criteria, such as valid file paths or numeric ranges.
v8n ist eine JavaScript-Datenvalidierungsbibliothek, die verwendet wird, um zu prüfen, ob Werte, Objekte und Arrays spezifische Kriterien erfüllen. Sie fungiert als schemabasierter Validator und asynchrone Validierungs-Engine und nutzt eine Fluent-API, um Sequenzen verkettbarer Regeln und Constraints zu konstruieren. Das Framework zeichnet sich durch die Fähigkeit aus, Promises und Netzwerkanfragen während des Validierungsprozesses auszuführen, um zu bestimmen, ob ein Wert gültig ist. Es ermöglicht die Erstellung wiederverwendbarer Validierungsschemata und bietet ein anpassbares Regel-Framework, in dem Benutzer ihre eigene Logik definieren und konfigurieren können, wie Fehlerergebnisse zurückgegeben werden. Die Bibliothek deckt ein breites Spektrum an Verifizierungsfunktionen ab, einschließlich Datentyp-Verifizierung für Primitive und Prototypen, String-Inhaltsvalidierung mittels Regex und Zeichensätzen sowie numerische Constraints. Sie unterstützt zudem komplexe Objektverifizierung, Kollektions- und Array-Element-Validierung sowie bedingte Logik zum Umkehren von Regeln oder zum Behandeln optionaler Werte. Das System ist für eine detaillierte Fehlererfassung konzipiert und bewertet Werte gegen jede definierte Regel, um eine vollständige Liste von Fehlern zu sammeln, anstatt beim ersten Fehler anzuhalten.
Provides conditional logic to invert rule results, handle optional values, or require at least one passing validation.
Dieses Projekt ist ein Protocol-Buffer-Validierungs-Plugin und Code-Generator, der konsistente Validierungslogik über mehrere Programmiersprachen hinweg erstellt. Es fungiert als Compiler-Erweiterung für die Protocol-Buffer-Toolchain und ermöglicht es Entwicklern, semantische Constraints direkt in Schema-Dateien zu definieren, um Datenkonsistenz sicherzustellen. Das Tool verwendet benutzerdefinierte Optionen, um Validierungsregeln in Nachrichtendefinitionen einzubetten und diese Schema-Constraints auf sprachspezifische Implementierungsmuster zu mappen. Es nutzt prädikatbasierte Constraint-Prüfung und rekursive Traversierung, um Regeln über verschachtelte Nachrichtenhierarchien hinweg durchzusetzen. Die Validierung umfasst numerische Bereiche und Werte, String-Muster und -Formate, Byte-Sequenz-Constraints sowie Enum-Durchsetzung. Zudem verwaltet es Sammlungen und Größen wiederholter Felder, komplexe Typvalidierung für Zeitstempel und Zeitdauern sowie Anforderungen für die Auswahl von Union-Feldern.
Provides controls to disable specific validation rules or prevent code generation for certain message types.
Meow is a Node.js command line argument parser that converts raw input strings into structured objects. It functions as a tool for processing flags and positional arguments according to POSIX and shell conventions. The library provides a system for enforcing required arguments and verifying data types for command line inputs. It also serves as a helper for managing version strings, help menus, and subcommand routing within terminal applications. The project covers the broader surface of command line interface development, including input validation and the direction of execution paths via ke
Enforces required fields and verifies data types for command line flags and positional arguments.
This project is a React component for visualizing, exploring, and editing JSON data structures through an interactive, tree-based user interface. It renders complex JSON arrays and objects in a responsive browser interface that supports collapsing and expanding nodes. The utility functions as an interactive editor, allowing users to modify, add, or delete keys and values within JSON objects graphically rather than through raw text files. It includes a clipboard manager for copying specific objects or arrays from the visualized tree directly to the system clipboard. The component supports the
Executes user-defined functions during editing to ensure new JSON values remain structurally valid.
TastyIgniter is a comprehensive restaurant management system and digital ordering engine. Built as a modular application framework, it provides the tools necessary to operate online food ordering, table reservation systems, and multi-vendor e-commerce platforms. The platform is designed to handle complex restaurant operations, including multi-location networking and multi-vendor marketplace management. It distinguishes itself through specialized restaurant automation, such as coordinating guest limits and time slots for bookings, managing ingredient and allergen catalogs, and implementing mul
Executes custom logic after the primary validation pass to issue complex, contextual error messages.
This project is a framework for generating mock implementations of interfaces to isolate dependencies and verify method interactions during unit testing in Go. It provides tools to simulate external dependencies by creating controlled mock objects, allowing developers to test components in isolation without requiring real service connections. The library distinguishes itself through its use of static interface reflection to generate type-safe mock structures during the build process. It features a fluent assertion API that enables developers to define expected method calls, validate arguments
Validates method arguments against predefined criteria to ensure interactions meet test expectations.
Kong is a declarative command line interface framework and parser for Go. It maps flags and positional arguments directly into typed Go structures using struct tags, allowing developers to define terminal interfaces through data models rather than manual parsing logic. The project functions as a configuration mapper that populates Go structures from a combination of command-line arguments, environment variables, and JSON files. It distinguishes itself by providing a dependency injection container to pass external services into command handlers and a plugin architecture for dynamic command reg
Restricts the user from providing conflicting flags simultaneously to prevent invalid configurations.