Projects in Awesome Lists tagged with ctl
A curated list of projects in awesome lists tagged with ctl .
https://github.com/opencodeco/phpctl
🐳 It is a Docker (containers) based development environment for PHP 🐘
cli containers ctl development-environment docker php php8 podman terminal
Last synced: 05 Apr 2025
https://github.com/Southclaws/sampctl
The Swiss Army Knife of SA:MP - vital tools for any server owner or library maintainer.
build-tool command-line ctl dependency-manager package-management package-manager pawn sa-mp sa-mp-development sa-mp-server server-tools
Last synced: 27 Sep 2025
https://github.com/southclaws/sampctl
The Swiss Army Knife of SA:MP - vital tools for any server owner or library maintainer.
build-tool command-line ctl dependency-manager package-management package-manager pawn sa-mp sa-mp-development sa-mp-server server-tools
Last synced: 05 Apr 2025
https://github.com/kysely-org/kysely-ctl
Command-line tool for Kysely
automation cli ctl knex kysely migrations mssql mysql postgres seeds sql sqlite
Last synced: 15 May 2025
https://github.com/mobile-next/mobilecli
Universal command-line tool for managing iOS and Android devices, simulators, emulators and apps
adb android cli commandline-tool ctl emulators ios simulators xcode
Last synced: 14 Feb 2026
https://github.com/xx4h/hctl
⌨️ 🏠 A tool to control your Home Assistant devices from the command-line
cli cmd command-line command-line-tool ctl hacktoberfest home-assistant homeassistant
Last synced: 13 Apr 2025
https://github.com/lip6/itstools
A multi-formalism, multi-solution model-checker centered on the language GAL
ctl eclipse ltl model-checking model-driven-development petri-net safety
Last synced: 22 Apr 2025
https://github.com/rocq-community/comp-dec-modal
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
coq ctl mathcomp modal-logics pdl
Last synced: 25 Aug 2025
https://github.com/haotrr/ppsh
PPSH is a Ansible-like Tool and Library and aims to make things easier.
ansible ctl deploy-tool deployment golang library ssh
Last synced: 14 Feb 2026
https://github.com/fpoli/ctlmc
CTL model checker, implemented using BDDs (JavaBDD library)
Last synced: 24 Aug 2025
https://github.com/pure-linux/tinyoctl
TIO cli and packages intended for use by client programs.
cli ctl kubernetes-alternative
Last synced: 18 Feb 2026
https://github.com/ms-luf/get-certtransparencyinfo
All certificate information you need - a cmdlet to request / search all certificates info available for all published certificates - based on CTL info available from crt.sh
certificate certificate-information certificates-info ctl ctl-info powershell powershell-gallery powershell-module transparency
Last synced: 14 Jul 2025
https://github.com/0xmrtt/trashctl
A command line interface for trash written in Rust (WIP)
clap clap-rs cli ctl freedesktop rust rust-cli rust-lang trash trash-management trashctl
Last synced: 20 Jan 2026
https://github.com/sybila/pithya-core
ctl model-checker parameter-estimation
Last synced: 10 Aug 2025
https://github.com/garyeung/task_tracker
Task tracker is a project used to track and manage your tasks. You can use a simple command line interface (CLI) to track what you need to do, what you have done, and what you are currently working on.
Last synced: 13 May 2025
https://github.com/klovercloud-ci-cd/ctl
A command line tool to interact with klovercloud-cd-cd api
ctl golang klovercloud klovercloud-ci-cd
Last synced: 17 Mar 2025
https://github.com/AzeezDa/ceetle
A Rust Library for defining models in Computational Tree Logic and verifying their semantics
Last synced: 09 May 2025
https://github.com/ressa-rob/petrinetmc
This repo contains the project files for model checking robotic systems considering environmental constraints.
atl csl ctl emf generativeai java python
Last synced: 26 Aug 2025
