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

• UpdatedSep 18, 2024
• Shell

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

• UpdatedJan 17, 2024
• Go

Command-line tool for Kysely

• UpdatedMar 12, 2025
• TypeScript

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

• UpdatedFeb 14, 2025
• TypeScript

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

• UpdatedMar 6, 2025
• Go

低代码数据治理脚手架

• UpdatedJul 13, 2024
• Java

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

• UpdatedFeb 22, 2025
• Python

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

• UpdatedMay 29, 2024

Server control panel

• UpdatedSep 30, 2022
• PHP

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

• UpdatedNov 15, 2024
• Java

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

• UpdatedAug 11, 2024
• Coq

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

• UpdatedNov 30, 2021
• Python

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

• UpdatedApr 7, 2020
• Go

Stochastic Model-checking Analyzer for Reliability and Timing

• UpdatedApr 7, 2023
• C++

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.

• UpdatedMay 26, 2022
• Java

Computer Scientist Master Degree - Thesis Work

• UpdatedSep 24, 2024
• Haskell

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

• UpdatedNov 3, 2022
• Python

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

• UpdatedDec 21, 2019
• Haskell

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

• UpdatedDec 10, 2024
• Python

CTL model checker, implemented using BDDs (JavaBDD library)

• UpdatedJun 24, 2015
• Scala