GitHub topics: declare
IBM/nl2ltl
Natural Language (NL) to Linear Temporal Logic (LTL)
Language: Python - Size: 42.7 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 71 - Forks: 10
bodnya29179/TypeScript-Advanced
🏆 Advanced TypeScript examples covering types, method overriding, namespaces, module augmentations, global declarations, and best practices.
Language: TypeScript - Size: 117 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
nicollaspetrelli/declarator
Library to declare entities like queues, exchanges, and bindings in a declarative way. Can be used to work with RabbitMQ.
Language: Go - Size: 29.3 KB - Last synced at: 26 days ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 1
ChenJinchuang/j2t-cli
根据 JSON 文件生成 Typescript 类型声明文件。Generate d.ts file from JSON file.
Language: TypeScript - Size: 51.8 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
scubers/puyopuyo
A reactive and declarative layout library for UIKit written in swift.
Language: Swift - Size: 1.9 MB - Last synced at: about 18 hours ago - Pushed at: over 2 years ago - Stars: 36 - Forks: 5
ivanDonadello/LTL-prescriptive-process-monitoring
A prescriptive (outcome-based) process monitoring system that provides users with temporal recommendations among activities to perform in an ongoing process
Language: Python - Size: 247 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
gyankos/reducer
A SAT-Solver for the DECLAREd Fragment
Language: C++ - Size: 14.4 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
francescofuggitti/Master-Thesis
LTL and Past LTL on Finite Traces for Planning and Declarative Process Mining
Language: TeX - Size: 18.2 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
timaktimak/DeclareType
An Xcode Source Editor Extension that generates a type declaration based on the file name
Language: Swift - Size: 296 KB - Last synced at: about 1 year ago - Pushed at: over 8 years ago - Stars: 12 - Forks: 1
Bimi1804/DECLARE_to_CMMN
DECLARE to CMMN converter
Language: Python - Size: 3.05 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
francxx96/declare4py
A Python package for process-mining with DECLARE models.
Language: Python - Size: 1.21 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 11 - Forks: 6
ivanDonadello/temporal-prescriptive-process-monitoring Fork of shikhizada/recommender-system
A prescriptive process mining system that provides users with temporal recommendations among activities to perform in an ongoing process.
Language: Python - Size: 174 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
eugenedakin/MultiScreenResolutionAPI2
This determines the screen size (width and height) of a Xojo program that moves a window on a screen
Language: Xojo - Size: 62.5 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
