Results for logical_model

Inexor - Reactive Graph Flow - Model - Logical

A logic model for the raft consensus algorithm

Database modeling engine: conceptual (ER) to logical (relational) transformation and SQL DDL generation. A Rust reimplementation of the core engine of brModelo.

CQL ELM (Expression Logical Model) representation and serialization

A DAG-based combinatorial-model framework.

SMT Modeling for Ghidra's PCODE

The Eludris shared models and logic crate

SCIM support for OpenAuth.

Domain models and business logic for the kanban project management tool

A standalone MVU runtime for Rust with no_std support for embedded systems

CQL (Clinical Quality Language) capabilities including CQL-to-ELM translation and execution

Core domain model and logic for the ClearHead framework