Awesome GitHub RepositoriesBoolean Predicates

Ramda is a functional JavaScript standard library and toolset for immutable data transformation and composition. It provides a comprehensive suite of pure utility functions designed to enable declarative data processing pipelines. The library is distinguished by its use of automatic function currying and a data-last argument order. These design patterns allow multi-argument functions to be partially applied, simplifying the construction of processing chains where data is passed through a sequence of operations. The toolkit covers broad data manipulation capabilities, including list processin

validator.js is a JavaScript string validation and sanitization library. It provides a set of functions to verify that strings match specific patterns—such as emails, URLs, and alphanumeric formats—and a toolkit for cleaning and transforming text input to remove prohibited characters and trim whitespace. The library includes utilities for standardizing email addresses by lowercasing domains and removing sub-addressing markers. It also functions as an HTML entity escaper, replacing special characters with entities to prevent the browser from executing text as code. The project covers capabili

zsh-syntax-highlighting is a Zsh shell extension and plugin that provides real-time syntax highlighting and visual feedback. It functions as an interactive command-line visual aid and regular expression text colorizer that distinguishes between commands, string literals, and shell constructs during input. The project allows for extensive customization through user-defined highlight rules, custom regular expression patterns, and predicate logic. It includes specific capabilities for path-based filtering and the assignment of custom colors to text segments. The system provides real-time comman

Fuse is a JavaScript fuzzy search library and client-side search engine designed to index and query JSON data. It provides utilities for approximate string matching and ranking results by relevance, allowing applications to perform fast filtering and searching of datasets without a dedicated backend. The library distinguishes itself through a token-based search implementation that supports word-order independence and relevance weighting. It utilizes edit-distance scoring to handle typos and insertions, and employs a system of field weighting to prioritize matches in high-value data keys. The

ANTLR एक व्याकरण-आधारित कोड जनरेटर और मल्टी-लैंग्वेज पार्सर जनरेटर है जिसका उपयोग कस्टम भाषाओं को डिज़ाइन और कार्यान्वित करने के लिए किया जाता है। यह संरचित टेक्स्ट या बाइनरी फ़ाइलों को संसाधित करने के लिए औपचारिक भाषा परिभाषाओं को निष्पादन योग्य स्रोत कोड में बदलने के लिए एक टूलकिट के रूप में कार्य करता है, जबकि पदानुक्रमित पार्स ट्री को स्वचालित रूप से बनाने और पार करने के लिए एक फ्रेमवर्क प्रदान करता है। प्रोजेक्ट एक एकल साझा व्याकरण परिभाषा से विभिन्न लक्षित प्रोग्रामिंग भाषाओं में लेक्सर्स और पार्सर्स उत्पन्न करने की अपनी क्षमता द्वारा प्रतिष्ठित है। यह प्रत्यक्ष बाएं पुनरावृत्ति (left recursion) वाले व्याकरणों का समर्थन करता है और लचीलापन बनाए रखते हुए पार्सिंग गति को अनुकूलित करने के लिए अनुकूली भविष्यवाणी का उपयोग करता है। सिस्टम लेक्सिकल विश्लेषण, प्रेडिकेट मूल्यांकन के माध्यम से सिमेंटिक जांच, और पदानुक्रमित डेटा प्रबंधन सहित क्षमताओं की एक विस्तृत श्रृंखला को कवर करता है। यह व्याकरण लॉजिक को एप्लिकेशन कार्यों से अलग करने के लिए पाथ-आधारित क्वेरी और विज़िटर-लिसनर ट्रैवर्सल पैटर्न के माध्यम से पार्स ट्री विश्लेषण के लिए टूल प्रदान करता है। कमांड-लाइन यूटिलिटी व्याकरण परिभाषाओं और डीबगिंग लॉजिक का परीक्षण करने के लिए उपलब्ध हैं, और टूल को स्थानीय इंस्टॉलेशन से बचने के लिए Docker कंटेनरों के भीतर निष्पादित किया जा सकता है।

FluentValidation is a strongly-typed data validation library for .NET. It functions as a rule engine and input validation framework used to define and execute complex business rules and constraints for data objects. The library utilizes a fluent interface API, allowing the construction of readable and declarative validation constraints through method chaining. It leverages generics and lambda expressions to enforce data integrity and business logic at compile time. The project covers the enforcement of business rules, strongly-typed data validation, and input sanitization workflows to verify

is.js is a JavaScript validation library and data type checker. It provides a suite of utilities to verify whether variables are primitives, arrays, functions, or specific object types. The project allows for the implementation of custom validation logic and the use of naming namespaces to override default rules and regular expressions. It covers a broad range of validation capabilities, including numeric arithmetic properties, date and time analysis for relative and absolute ranges, and string format verification for patterns such as emails, URLs, and IP addresses. The library also includes

Valibot is a modular, type-safe schema library for validating and parsing structural data in TypeScript environments.

ts-reset is a TypeScript type enhancement library that overrides and augments the built-in type definitions for standard JavaScript APIs. Its core purpose is to replace unsafe any return types with stricter alternatives like unknown, forcing developers to explicitly validate data before using it. The library achieves this through global type augmentation and declaration merging, applying changes across the entire project without requiring per-file imports. The library differentiates itself by targeting specific pain points in everyday TypeScript usage. It relaxes type constraints on array

This project is an interactive programming education resource and tutorial designed for learning the Rust programming language and systems programming concepts. It provides a collection of runnable and editable code examples that serve as a practical reference for language syntax and implementation. The resource features an interactive code sandbox that allows users to execute and test code snippets in real time. It emphasizes the verification of technical accuracy by executing embedded code blocks during the build process to ensure all examples remain functional. The content covers a compre

Penrose is a compiler that transforms structured mathematical notation into optimized SVG diagrams. It uses a three-stage pipeline of separate domain, substance, and style files to define mathematical objects, relationships, and visual presentation, then solves continuous optimization problems with user-defined spatial constraints and objectives to automatically arrange diagram elements. The system separates diagram content from visual style using distinct declarative languages, and provides a typed domain language with subtype hierarchies for mathematical objects. It supports embedding compi

Vespa is a distributed search engine, vector database, and machine learning ranking engine. It serves as an AI search platform designed to handle large-scale document indexing and complex query processing across a cluster of nodes, combining keyword retrieval with high-dimensional embedding storage for semantic similarity search. The platform distinguishes itself by integrating machine learning models directly into the search pipeline to perform real-time inference and ranking. It converts these models into ranking expressions to score and order results based on relevance, while providing a s

Vuelidate is a model-based validation library for Vue.js applications. It functions as a client-side data validator and validation engine that decouples verification logic from the user interface by checking data models and state objects against defined rules. The system tracks field interactions and marks inputs as dirty to manage when validation messages are triggered. This approach allows the library to provide real-time user input feedback and verify model integrity before data is submitted. The framework covers form state validation, validation error rendering, and the configuration of

Stateless एक .NET स्टेट मशीन लाइब्रेरी है जिसका उपयोग C# कोड के माध्यम से जटिल ऑब्जेक्ट व्यवहारों और हल्के वर्कफ़्लो को मैनेज करने के लिए किया जाता है। यह एक एसिंक्रोनस वर्कफ़्लो इंजन के रूप में कार्य करता है जो एसिंक्रोनस टास्क का उपयोग करके स्टेट ट्रांज़िशन, गार्ड्स और एंट्री-एग्जिट एक्शन्स को निष्पादित करता है। लाइब्रेरी एक पदानुक्रमित (hierarchical) स्टेट मशीन को लागू करती है, जिससे चाइल्ड स्टेट्स को पैरेंट सुपरस्टेट्स से ट्रांज़िशन और प्रॉपर्टीज़ इनहेरिट करने की अनुमति मिलती है। इसमें एक स्टेट पर्सिस्टेंस फ़्रेमवर्क शामिल है जो वर्तमान स्टेट को बाहरी प्रॉपर्टीज़ या डेटाबेस में पढ़कर और लिखकर स्टेट ट्रैकिंग को मशीन लॉजिक से डीकूपल करता है। इसके अतिरिक्त, इसमें एक ग्राफ़ विज़ुअलाइज़ेशन एक्सपोर्टर है जो वर्कफ़्लो कॉन्फ़िगरेशन को विज़ुअल डायग्राम के रूप में रेंडर करने के लिए DOT या Mermaid फ़ॉर्मेट जनरेट करता है। सिस्टम री-एंट्रेंट और इंटरनल ट्रांज़िशन, प्रेडिकेट-आधारित गार्ड क्लॉज़ और पैरामीट्रिक ट्रिगर डिस्पैच के समर्थन के साथ ट्रांज़िशन मैपिंग को कवर करता है। यह मशीन कॉन्फ़िगरेशन इंट्रोस्पेक्शन, स्टेट चेंज नोटिफिकेशन्स और स्टेट एंट्री व एग्जिट के दौरान सिंक्रोनस या एसिंक्रोनस लॉजिक के निष्पादन के लिए क्षमताएं भी प्रदान करता है।

Reactor Core JVM पर एसिंक्रोनस डेटा पाइपलाइनों को कंपोज़ करने के लिए एक रिएक्टिव प्रोग्रामिंग टूलकिट और नॉन-ब्लॉकिंग आधार है। यह एक एसिंक्रोनस स्ट्रीम प्रोसेसिंग फ्रेमवर्क और बैकप्रेशर प्रबंधन प्रणाली के रूप में कार्य करता है, जो डेवलपर्स को इवेंट्स के अनुक्रमों को बदलने, फ़िल्टर करने और संयोजित करने की अनुमति देता है, जबकि संसाधन थकावट को रोकने के लिए उत्पादकों और उपभोक्ताओं के बीच डेटा प्रवाह को नियंत्रित करता है। लाइब्रेरी एक परिष्कृत समवर्ती शेड्यूलिंग प्रणाली और मांग-आधारित प्रवाह नियंत्रण के माध्यम से खुद को अलग करती है। यह एक शेड्यूलर रजिस्ट्री का उपयोग करके विशिष्ट थ्रेड्स से सिग्नल प्रोसेसिंग को अलग करती है और एसिंक्रोनस सीमाओं के पार अपरिवर्तनीय मेटाडेटा के संदर्भ-जागरूक प्रसार के लिए तंत्र प्रदान करती है। इसमें असेंबली-टाइम ट्रेस कैप्चर और समय-आधारित ऑपरेटरों के परीक्षण को सुविधाजनक बनाने के लिए वर्चुअल-टाइम शेड्यूलिंग के लिए विशेष उपकरण भी शामिल हैं। यह प्रोजेक्ट अनुक्रम एकत्रीकरण और विंडोइंग के लिए कार्यात्मक डेटा प्रोसेसिंग, घातीय बैकऑफ़ रिट्रीज़ जैसी विभिन्न त्रुटि पुनर्प्राप्ति रणनीतियों और रिएक्टिव स्ट्रीम में लीगेसी कॉलबैक या सिंक्रोनस API को ब्रिज करने के लिए उपयोगिताओं सहित क्षमताओं की एक विस्तृत श्रृंखला को कवर करता है। यह पाइपलाइन निगरानी के लिए इंस्ट्रूमेंटेशन और सिग्नल अनुक्रमों को सत्यापित करने के लिए परीक्षण उपकरणों का एक सूट भी प्रदान करता है।

Vega-Lite is a high-level declarative language for specifying interactive, multi-view visualizations. It compiles a concise JSON specification into a full Vega visualization, automatically inferring scales, axes, and legends from encoding declarations. The grammar-of-graphics encoding maps data fields to visual channels such as position, color, size, and shape, while a multi-view composition grammar enables layered, faceted, concatenated, and repeated layouts. Reactive parameter binding links named parameters to input widgets, selections, and expressions for dynamic updates. The project suppo

PegJS एक पार्सिंग एक्सप्रेशन ग्रामर टूल और JavaScript पार्सर जनरेटर है। यह एक ग्रामर कंपाइलर के रूप में कार्य करता है जो औपचारिक ग्रामर स्पेसिफिकेशन्स को संरचित टेक्स्ट का विश्लेषण करने और जटिल इनपुट स्ट्रिंग्स को प्रोसेस करने के लिए निष्पादन योग्य JavaScript कोड में बदल देता है। यह सिस्टम डिटरमिनिस्टिक पार्सर्स उत्पन्न करता है जो कॉन्टेक्स्ट-फ्री ग्रामर की अस्पष्टता से बचते हैं। यह रैखिक समय जटिलता सुनिश्चित करने के लिए मेमोइज़ेशन के साथ पैकराट पार्सिंग मॉडल का उपयोग करता है। टूलसेट डोमेन-विशिष्ट भाषाओं और कस्टम भाषा विकास के कार्यान्वयन का समर्थन करता है। इसमें पुनरावर्ती ग्रामर नियम परिभाषा और संरचित डेटा में मिलान किए गए टेक्स्ट को बदलने के लिए इनलाइन सिमेंटिक क्रियाएं शामिल हैं।

fsearch is a high-performance desktop file search tool and filesystem indexing engine. It provides near-instant location of files and folders on a local filesystem by utilizing a background indexing system that monitors filesystem changes in real time. The utility distinguishes itself through advanced query capabilities, including support for boolean search logic using AND, OR, and NOT operators, as well as regular expression and wildcard filtering. It allows for precise result refinement using literal character handling and specific search modifiers such as case sensitivity and exact matches

The Common Expression Language specification is a formal standard for a non-Turing-complete expression language designed for safe, portable, and fast logic evaluation. It serves as a cross-language logic standard and a declarative policy language, providing a consistent semantic framework for executing boolean expressions and data transformations across different programming environments. This specification acts as an embedded expression engine that allows applications to integrate portable logic for evaluating user-defined configurations. It is specifically designed to enable safe user-defin

Dry-validation is a Ruby library designed for defining type-safe schemas and complex validation rules to verify and sanitize input data structures. It provides a formal framework for constructing modular validation logic, ensuring that incoming information meets specific business requirements and data formats before it is processed by an application. The library utilizes a domain-specific language to declare validation rules, which are then parsed into executable objects. It distinguishes itself through a macro-driven system that bundles common validation logic into reusable shortcuts, alongs