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

Command-line tool for Kysely, Knex-compatible, works in Node.js, Deno, Bun, etc.

A programming language version manager 🚀 🚀

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!

Universal command-line tool for managing iOS and Android devices, simulators, emulators and apps

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

低代码数据治理脚手架

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

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

Server control panel

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.

Stochastic Model-checking Analyzer for Reliability and Timing

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

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

A tool for migration from Logseq to Obsidian

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

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

A Haskell embedded DSL that parses and implements the SAT algorithm to CTL formulas. Final project for ALP subject.

CTL model checker.

CTL model checker, implemented using BDDs (JavaBDD library)

JWT Generator/Reader CLI

JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。

Launch & use a graviton instance in 5 seconds.

CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson

TIO cli and packages intended for use by client programs.