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.

Raspberry Pi Functionality Suite - Xojo. Declares for the Pi OS.

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

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

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

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

DECLARE to CMMN converter

Basic implementations for outsourcing code and sharing varibles within one project

[Discontinued] Minimal but complete pack with declarations and maps.

A SAT-Solver for the DECLAREd Fragment

🏆 Advanced TypeScript examples covering types, method overriding, namespaces, module augmentations, global declarations, and best practices.

Unplugin to generate type declaration for ts(x) libraries.