awesome-repositories.com
Blog
MCP
awesome-repositories.com

Entdecke die besten Open-Source-Repositories mit KI-gestützter Suche.

EntdeckenKuratierte SuchenOpen-Source-AlternativenSelf-hosted SoftwareBlogSitemap
ProjektMCP-ServerÜber unsRanking-MethodikPresse
RechtlichesDatenschutzAGB
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

3 Repos

Awesome GitHub RepositoriesType-Level Boolean Logic

Utilities for evaluating truth values and logical operations within the type system.

Distinct from Boolean Logic Types: Candidates focus on runtime boolean logic, vector evaluators, or attribute extraction rather than compile-time type evaluation.

Explore 3 awesome GitHub repositories matching programming languages & runtimes · Type-Level Boolean Logic. Refine with filters or upvote what's useful.

Awesome Type-Level Boolean Logic GitHub Repositories

Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
  • sindresorhus/type-festAvatar von sindresorhus

    sindresorhus/type-fest

    17,233Auf GitHub ansehen↗

    type-fest is a library of reusable utility types for performing complex transformations and validations on objects, arrays, strings, and numeric ranges in TypeScript. It provides a collection of type definitions designed to handle advanced structural changes and constraints. The project distinguishes itself by offering specialized logic for string literal processing, such as casing transformations and pattern-based modifications, and type-level arithmetic for calculating numeric ranges and absolute values. It also includes utilities for enforcing deep immutability, ensuring union mutual exclu

    Provides a utility to determine if two given types are both true at the type level.

    TypeScriptnpm-packagetypestypescript
    Auf GitHub ansehen↗17,233
  • millsp/ts-toolbeltAvatar von millsp

    millsp/ts-toolbelt

    7,145Auf GitHub ansehen↗

    ts-toolbelt is a collection of specialized utilities for manipulating and validating TypeScript types. It provides a toolkit for performing complex transformations on objects, unions, and functions to enforce strict data consistency at compile time. The library features dedicated transformers for function types, including utilities for currying, composition, and signature extraction. It also includes an object type manipulator for deep merging, patching, and reshaping complex structures. The capability surface extends to literal string processing, type-level arithmetic, and tuple operations.

    Calculates the logical AND of two boolean types to return the resulting type at compile time.

    TypeScriptdynamic-typessafetytype-checking
    Auf GitHub ansehen↗7,145
  • ericniebler/range-v3Avatar von ericniebler

    ericniebler/range-v3

    4,367Auf GitHub ansehen↗

    Dies ist eine C++-Ranges-Bibliothek und Erweiterung der Standard Template Library, die eine Sammlung zusammensetzbarer Algorithmen und Lazy Views für die Verarbeitung von Datensequenzen bereitstellt. Sie fungiert als Framework für die Verarbeitung von Lazy-Sequenzen und als Template-Metaprogrammierungsbibliothek zur Manipulation von Typenlisten und zur Durchführung von Typberechnungen zur Kompilierzeit. Das Projekt ermöglicht funktionale Programmiermuster in C++ durch die Verwendung von Pipe-Syntax und partieller Anwendung, um lesbare, von links nach rechts verlaufende Datentransformationsketten zu erstellen. Es erlaubt die Konstruktion von Lazy-Datenpipelines, die Elemente bei Bedarf filtern und transformieren, um den Speicherbedarf zu reduzieren und unnötige Kopien zu vermeiden. Die Bibliothek deckt breite Funktionsbereiche ab, einschließlich Sequenzmanipulation, Typmanipulation zur Kompilierzeit sowie die Implementierung benutzerdefinierter Range-Typen und Iteratoren. Sie bietet Tools für Eager-In-Place-Containermutation, projektionsbasiertes Algorithmus-Dispatching und die Verwaltung von Typenlisten durch eine Reihe von Callables auf Typebene.

    Evaluates boolean-like logical conditions such as and, or, and not across different types at compile time.

    C++
    Auf GitHub ansehen↗4,367
  1. Home
  2. Programming Languages & Runtimes
  3. Type-Level Boolean Logic