🐳 It is a Docker (containers) based development environment for PHP 🐘

The Swiss Army Knife of SA:MP - vital tools for any server owner or library maintainer.

Control an IPFS daemon (go-ipfs or js-ipfs) using JavaScript!

Command-line tool for Kysely

⌨️ 🏠 A tool to control your Home Assistant devices from the command-line

低代码数据治理脚手架

Server control panel

A multi-formalism, multi-solution model-checker centered on the language GAL

Monospaced Fonts for CTL Scripts (e.g. Devanagari, Tamil)

Command line tool for model checking using LTL, CTL and CTL* formulas

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

Convenience wrapper of Toptica Laser SDK for controlling a Toptica CTL with a DLCpro

PPSH is a Ansible-like Tool and Library and aims to make things easier.

A Java library that allows you to check whether a given transition system (described as a Kripke structure) satisfies a given computation tree logic (CTL) formula.

Computer Scientist Master Degree - Thesis Work

An abbreviation of common linux command-line utilities into one ctl

Efficient On-the-Fly Model Checking for LTL and CTL★.

Stochastic Model-checking Analyzer for Reliability and Timing

NFA framework for INSA-CVL 4A class on Verification / Model-Checking

CTL model checker, implemented using BDDs (JavaBDD library)