awesome-repositories.com
Blog
awesome-repositories.com

Descoperă cele mai bune repository-uri open source cu căutare AI.

ExploreazăCăutări recomandateAlternative open-sourceSoftware self-hostedBlogHartă site
ProiectDespreCum realizăm clasamentulPresăServer MCP
LegalConfidențialitateTermeni
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

8 repository-uri

Awesome GitHub RepositoriesExpression Type Resolution

Determining the expected data types of dynamic expressions during the compilation phase.

Distinct from Static Type Checking: Specifically resolves types for a custom expression language, distinct from general source code static analysis.

Explore 8 awesome GitHub repositories matching software engineering & architecture · Expression Type Resolution. Refine with filters or upvote what's useful.

Awesome Expression Type Resolution GitHub Repositories

Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
  • perspective-dev/perspectiveAvatar perspective-dev

    perspective-dev/perspective

    10,981Vezi pe GitHub↗

    Perspective is a columnar data analytics engine and high-performance visualization component powered by WebAssembly. It provides a system for analyzing and visualizing large or streaming datasets through interactive data grids and charts, utilizing a compiled binary to achieve near-native performance within the browser. The project distinguishes itself through a WebSocket-based data streaming interface and deep Apache Arrow integration, which minimize memory overhead when synchronizing tables between servers and clients. It acts as a remote query proxy capable of translating visualization con

    Validates calculation expressions against a schema to resolve data types and identify syntax errors before execution.

    C++analyticsbidata-visualization
    Vezi pe GitHub↗10,981
  • phpdocumentor/typeresolverAvatar phpDocumentor

    phpDocumentor/TypeResolver

    9,180Vezi pe GitHub↗

    TypeResolver is a PHP namespace resolver and type parser designed to convert partial class and element names into fully qualified names. It functions as a utility for static code analysis, transforming complex type expressions and primitives into structured value objects. The project implements PSR-5 standards to ensure consistent type referencing. It manages the resolution of structural elements by tracking current namespaces and alias contexts to expand partial identifiers into their full definitions. The tool covers the parsing of compound type strings and the management of PHP imports an

    Parses type strings including primitives and compounds into descriptive value objects.

    PHPtyperesolver
    Vezi pe GitHub↗9,180
  • antonmedv/exprAvatar antonmedv

    antonmedv/expr

    7,905Vezi pe GitHub↗

    Expr is a high-performance expression evaluation engine and language for Go applications. It functions as a dynamic rule engine that parses and executes custom logic and data validations at runtime without requiring the application to be recompiled. The system utilizes a sandboxed logic executor to run expressions without side effects. It ensures program termination by employing instruction-level loop detection to prevent infinite loops and isolates the evaluation process from the host system. The engine employs a bytecode-based virtual machine and abstract syntax tree analysis to achieve ex

    Determines expected data types during compilation to avoid runtime type mismatches.

    Go
    Vezi pe GitHub↗7,905
  • ternjs/ternT

    ternjs/tern

    4,240Vezi pe GitHub↗

    Tern este un analizor de cod independent de editor și un motor de analiză statică pentru JavaScript. Funcționează ca un server de limbaj care oferă inteligență semantică prin parsarea codului sursă în arbori de sintaxă abstractă pentru a deduce tipuri și a rezolva simboluri fără a necesita adnotări manuale de tip. Motorul se distinge prin utilizarea definițiilor de tip bazate pe JSON, care îi permit să descrie semnăturile bibliotecilor și dependențele externe fără a avea nevoie de codul sursă original. De asemenea, dispune de un sistem de plugin-uri care permite extinderea funcționalității serverului pentru a suporta loader-e sau framework-uri personalizate. Proiectul acoperă domenii largi de capabilități, inclusiv navigarea în cod, refactoring-ul și autocompletarea în editor. Oferă servicii precum localizarea definițiilor de simboluri, găsirea referințelor de cod și oferirea de sugestii și completări pentru argumentele funcțiilor pe baza tipurilor de expresii deduse.

    Determines the expected data types of expressions during the static analysis phase.

    JavaScript
    Vezi pe GitHub↗4,240
  • google/cel-specAvatar google

    google/cel-spec

    3,673Vezi pe GitHub↗

    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

    Allows declaring the available variables and functions to ensure consistent type safety and resolution.

    Starlark
    Vezi pe GitHub↗3,673
  • rhysd/actionlintAvatar rhysd

    rhysd/actionlint

    3,617Vezi pe GitHub↗

    actionlint is a static analysis tool and linter specifically designed for GitHub Actions workflow files. It functions as a CI workflow validator and YAML configuration linter to ensure the syntax and logic of automation files are correct before deployment. The project distinguishes itself by performing deep security auditing and script analysis. It includes a shell script auditor to detect syntax bugs and script injection vulnerabilities in inline commands, and it scans for hardcoded credentials to prevent security leaks. The tool covers a broad range of validation capabilities, including ex

    Performs strict type checking on expression placeholders to ensure variables and functions use compatible data types.

    Goactionscigithub-actions
    Vezi pe GitHub↗3,617
  • microsoft/power-fxAvatar microsoft

    microsoft/Power-Fx

    3,338Vezi pe GitHub↗

    Power-Fx is a declarative logic framework and low-code formula language based on Excel formulas. It functions as an expression parser and evaluator that transforms formula strings into an abstract syntax tree to execute logical operations and resolve values. The project provides a standardized integration layer to connect formula-based logic to external data sources for querying and pushing records. This allows for the definition of business rules and calculations that can be shared as consistent logic across different applications and platforms.

    Determines the expected data types of dynamic formula expressions by analyzing inputs and operators.

    C#power-fxpowerfx
    Vezi pe GitHub↗3,338
  • google/cel-goAvatar google

    google/cel-go

    2,875Vezi pe GitHub↗

    cel-go is a Go implementation of the Common Expression Language, providing a type-safe engine for the evaluation of non-Turing complete, side-effect-free expressions. It functions as an embedded expression engine that converts human-readable strings into type-checked abstract syntax trees to ensure safe execution. The system utilizes a compile-once evaluate-many model, parsing and validating expressions into cached programs for repeated execution across different datasets. It further distinguishes itself as a partial state evaluator, using commutative logic to compute results and return resid

    Converts expression strings into type-checked abstract syntax trees to catch errors before evaluation.

    Gocelexpressionexpression-evaluator
    Vezi pe GitHub↗2,875
  1. Home
  2. Software Engineering & Architecture
  3. TypeScript Type Definitions
  4. Static Type Checking
  5. Expression Type Resolution

Explorează sub-etichetele

  • AST Type ValidationConverting expression strings into type-checked abstract syntax trees to catch errors before runtime. **Distinct from Expression Type Resolution:** Distinct from Expression Type Resolution: focuses on the parsing and validation of the AST specifically to prevent runtime errors.
  • Environment DeclarationsDefining the set of available variables and functions to establish type safety boundaries. **Distinct from Expression Type Resolution:** Focuses on the declaration of the environment rather than the resolution of types within it.