Natural Language (NL) to Linear Temporal Logic (LTL)

A reactive and declarative layout library for UIKit written in swift.

A Python package for process-mining with DECLARE models.

An Xcode Source Editor Extension that generates a type declaration based on the file name

Library to declare entities like queues, exchanges, and bindings in a declarative way. Can be used to work with RabbitMQ.

根据 JSON 文件生成 Typescript 类型声明文件。Generate d.ts file from JSON file.

MySQL imaginary medical hospital database

A prescriptive (outcome-based) process monitoring system that provides users with temporal recommendations among activities to perform in an ongoing process

Basic implementations for outsourcing code and sharing varibles within one project

A prescriptive (outcome-based) process monitoring system that provides users with temporal recommendations among activities to perform in an ongoing process.

LTL and Past LTL on Finite Traces for Planning and Declarative Process Mining

DECLARE to CMMN converter

This determines the screen size (width and height) of a Xojo program that moves a window on a screen

A SAT-Solver for the DECLAREd Fragment