Cel Spec

Features

Cross-Language Semantic Standards - Execute limited expressions using a common semantic framework to maintain consistent results across different applications and languages.
Expression Languages - Defines a formal standard for a non-Turing-complete expression language used for safe and portable logic evaluation.
Non-Turing-Complete Languages - Defines a non-Turing-complete execution model to ensure all expressions terminate within predictable timeframes.
Abstract Syntax Tree Parsers - Transform written text into a structured binary representation to improve the efficiency of storage and evaluation.
Cross-Language Logic Standardization - Provides a formal standard for executing non-Turing-complete expressions consistently across different programming environments.
Cross-Language Value Mappings - Defines a consistent semantic framework for translating values between host languages and the embedded expression runtime.
Embedded Logic Evaluation - Integrates an expression parser and evaluator to execute portable, restricted logic within a host application.
Expression Evaluators - Provides an engine for evaluating logical and mathematical expressions against specific variable bindings.
Safe User-Defined Configurations - Provides a safe way for users to define custom logic that can be validated without compromising host system security.
Policy Definition Languages - Implements a restricted expression syntax specifically for declaring and enforcing security rules and access control policies.
Policy Enforcement - Implements mechanisms for enforcing access rules and constraints based on declarative policy data.
Policy-Based Access Control - Enables the enforcement of security permissions based on defined declarative authorization policies.
Variable and Function Bindings - Implements a binding-based mechanism to resolve expression identifiers using external variables and functions.
Abstract Syntax Tree Specifications - Provides a standardized specification for representing expression syntax as abstract syntax trees for consistent analysis.
Contextual Function Embedding - Extends the expression language by allowing external variables and functions to be passed through a configurable context.
Syntax Validation - Provides utilities to verify that expression strings are syntactically correct before evaluation.
Two-Phase Compilation - Implements a two-phase pipeline separating the compilation of text into binary format from its final evaluation.
Boolean Predicates - Implements boolean predicates to evaluate inputs against rules and return true/false results.
Dynamic Predicate Evaluation - Computes boolean expressions and data transformations to determine if specific conditions are met during execution.
Environment Type Validation - Uses declared environments to validate type safety and identifier existence before evaluating expressions.
Environment Declarations - Allows declaring the available variables and functions to ensure consistent type safety and resolution.

Open-source alternatives to Cel Spec

Similar open-source projects, ranked by how many features they share with Cel Spec.

google/cel-go
google/cel-go
2,875View on 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
Gocelexpressionexpression-evaluator
View on GitHub2,875
antonmedv/expr
antonmedv/expr
7,905View on 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
Go
View on GitHub7,905
microsoft/power-fx
microsoft/Power-Fx
3,338View on 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.
C#power-fxpowerfx
View on GitHub3,338
expr-lang/expr
expr-lang/expr
7,906View on GitHub
Expr is a statically typed expression engine and domain-specific language for parsing and evaluating dynamic logic strings within Go applications. It functions as a bytecode expression evaluator that executes compiled logic with guaranteed termination and memory safety. The engine utilizes a specialized compiler and virtual machine to achieve high-performance execution. It employs static type validation during the compilation phase to ensure operand compatibility and prevent runtime crashes. The project provides a data transformation engine capable of mapping, filtering, and aggregating coll
Gobytecodeconfiguration-languageengine
View on GitHub7,906

See all 30 alternatives to Cel Spec

googlecel-spec

Features

Open-source alternatives to Cel Spec

google/cel-go

antonmedv/expr

microsoft/Power-Fx

expr-lang/expr

Star history

Open-source alternatives to Cel Spec

google/cel-go

antonmedv/expr

microsoft/Power-Fx

expr-lang/expr