A programming language version manager 🚀 🚀

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

Command-line tool for Kysely

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

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

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

Templates Library for C language

Model Checker CTL (simple) en Java, que j'ai réalisé en M2 Informatique parcours Programmation et Logiciels Sûrs

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

A small model checker for Computational Tree Logic

低代码数据治理脚手架

A daemon + ctl approach to pomodoro. Start a pomodoro server and interact with it via a ctl process

CLI tool for Autify API operation

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

TIO cli and packages intended for use by client programs.

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

This repo contains the project files for model checking robotic systems considering environmental constraints.

Computer Scientist Master Degree - Thesis Work

This is a simple command line interface (CLI) to fetch the recent activity of a GitHub user and display it in the terminal.

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