clinical_quality_language
CQL toolkit
Supports the Clinical Quality Language specification with tooling for CDS and CQM
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.
266 stars
54 watching
123 forks
Language: Java
last commit: 8 days ago
Linked from 1 awesome list
cdsclinical-dataclinical-decision-supportclinical-quality-languageclinical-quality-measurementclinical-reasoningclinical-researchclinical-trialscqlcqmdqmecqmfhirfhir-pathhl7java
kakoni/awesome-healthcareRelated projects:
| Repository | Description | Stars |
|---|---|---|
 xavierleroy/cdf-sem-meca | This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant. | 21 |
 dspinellis/cqmetrics | A tool for analyzing and reporting on various quality metrics of C++ source code | 64 |
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 152 |
 coq-community/reglang | Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant | 41 |
| xavierleroy/cdf-mech-sem | Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |
 francoliberali/cql | A query language designed to simplify and improve the way objects are queried from databases. | 17 |
 statebox/cql | A Haskell implementation of a functional query language that allows declarative specification and analysis of data transformations | 163 |
 kmax/cqels | Continuous Query Evaluation over Linked Data using a Java framework | 5 |
 onqtam/rcrl | An interactive C++ compiler and runtime environment for rapid development and live coding | 411 |
 dboulytchev/minikanren-coq | A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages | 26 |
 querycert/qcert | A framework for developing and verifying domain-specific languages with a focus on compiler correctness and verification. | 56 |
 c-cube/qcheck | A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 347 |
 princeton-vl/coqgym | A learning environment for theorem proving with the Coq proof assistant | 384 |
| xavierleroy/cdf-program-logics | Companion Coq development for teaching program logics | 40 |
 cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 354 |