ctl
There are 58 repositories under ctl topic.
opencodeco/phpctl
🐳 It is a Docker (containers) based development environment for PHP 🐘
Southclaws/sampctl
The Swiss Army Knife of SA:MP - vital tools for any server owner or library maintainer.
ipfs/js-ipfsd-ctl
Control an IPFS daemon (go-ipfs or js-ipfs) using JavaScript!
kysely-org/kysely-ctl
Command-line tool for Kysely
xx4h/hctl
⌨️ 🏠 A tool to control your Home Assistant devices from the command-line
persistencelkg/KG-Task-Ctl
低代码数据治理脚手架
lip6/ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
bavix/dash
Server control panel
monotty/fonts
Monospaced Fonts for CTL Scripts (e.g. Devanagari, Tamil)
paultristanwagner/model-checking
Command line tool for model checking using LTL, CTL and CTL* formulas
asvela/dlc-control
Convenience wrapper of Toptica Laser SDK for controlling a Toptica CTL with a DLCpro
coq-community/comp-dec-modal
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
haotrr/ppsh
PPSH is a Ansible-like Tool and Library and aims to make things easier.
vincent-hugot/nfalib
NFA framework for INSA-CVL 4A class on Verification / Model-Checking
8Dion8/nionctl
An abbreviation of common linux command-line utilities into one ctl
asminer/smart
Stochastic Model-checking Analyzer for Reliability and Timing
jbretsch/modelcheck
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.
spidermoy/Model_Checking-LTL-CTLS
Computer Scientist Master Degree - Thesis Work
spidermoy/OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
chrjx/logseq2obsidian
A tool for migration from Logseq to Obsidian
fpoli/ctlmc
CTL model checker, implemented using BDDs (JavaBDD library)
iahmedbacha/ctl-model-checker
CTL model checker.
natimellino/SAT-Solver
A Haskell embedded DSL that parses and implements the SAT algorithm to CTL formulas. Final project for ALP subject.
Alpenbelieve/JavaBDD_Application
JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。
emmanuel-h/veritaf
CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson
leomillon/jwtctl
JWT Generator/Reader CLI
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
pure-linux/tinyoctl
TIO cli and packages intended for use by client programs.
qsre/gravitonctl
Launch & use a graviton instance in 5 seconds.
0xMRTT/trashctl
A command line interface for trash written in Rust (WIP)
danielbinder/LogiVis
A teaching aid for concepts and algorithms in logic
emman27/jenkinsctl
A command line tool for Jenkins API
f-musa/ctl-model-checker
This project's objective is to program a model checking software that verifies the validity of a CTL formula on the initial state of a finite automaton.
RealFax/pkg-ctl
golang sequential startup framework
yepengding/Kiwami
A generic bounded model checker.
cxlvinchau/vnmc
A (probabilistic) model checking toolkit fully implemented in Python