clinical_quality_language
by cqframework
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
AI summary
CQL toolkit
Supports the Clinical Quality Language specification with tooling for CDS and CQM
- stars
- 266
- forks
- 124
- watching
- 54
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Programming language semantics toolkit
This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant.
C code analyzer
A tool for analyzing and reporting on various quality metrics of C++ source code
Coq IDE
A tool for interactive theorem proving and language support in Coq
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Query language
A query language designed to simplify and improve the way objects are queried from databases.
statebox/cql163
Query language
A Haskell implementation of a functional query language that allows declarative specification and analysis of data transformations
Linked data processor
Continuous Query Evaluation over Linked Data using a Java framework
onqtam/rcrl413
C compiler engine
An interactive C++ compiler and runtime environment for rapid development and live coding
Relational programming semantics
A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages
Compiler framework
A framework for developing and verifying domain-specific languages with a focus on compiler correctness and verification.
Testing library
A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation.
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Program logic textbook
Companion Coq development for teaching program logics
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Featured in 1 awesome list
Each link jumps to the spot where the list mentions clinical_quality_language.
