8 repository-uri
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.
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.
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.
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.
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.
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.
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.
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.
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.