ctl

There are 0 repository under ctl topic.

opencodeco / phpctl
🐳 It is a Docker (containers) based development environment for PHP 🐘
cli ctl development-environment docker php terminal containers php8 podman
Language:Shell 296
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
Language:Go 239
kysely-ctl
kysely-org / kysely-ctl
Command-line tool for Kysely, Knex-compatible, works in Node.js, Deno, Bun, etc.
automation cli ctl knex kysely migrations mssql mysql postgres seeds sql sqlite
Language:TypeScript 238
ipfs / js-ipfsd-ctl
Control an IPFS daemon (go-ipfs or js-ipfs) using JavaScript!
ipfs daemon ctl go-ipfs js-ipfs
Language:TypeScript 155
xx4h / hctl
⌨️ 🏠 A tool to control your Home Assistant devices from the command-line
cli cmd command-line command-line-tool ctl home-assistant homeassistant hacktoberfest
Language:Go 65
persistencelkg / KG-Task-Ctl
低代码数据治理脚手架
archiving comparison ctl data-synchronization springboot ctl-job reverse-recovery
Language:Java 50
lip6 / ITSTools
A multi-formalism, multi-solution model-checker centered on the language GAL
model-checking model-driven-development petri-net ctl ltl safety eclipse
Language:Python 24
monotty / fonts
Monospaced Fonts for CTL Scripts (e.g. Devanagari, Tamil)
devanagari mono monospaced font typeface ctl fixed terminal tty console
24
bavix / dash
Server control panel
dashboard ctl gitlab samba smb plex netdata monitor monitoring laravel
Language:PHP 22
paultristanwagner / model-checking
Command line tool for model checking using LTL, CTL and CTL* formulas
ctl ltl model-checking transition-systems buchi-automaton omega-regular-languages ctl-star
Language:Java 11
rocq-community / comp-dec-modal
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
coq mathcomp modal-logics ctl pdl
Language:Coq 10
asvela / dlc-control
Convenience wrapper of Toptica Laser SDK for controlling a Toptica CTL with a DLCpro
toptica dlcpro dlc laser control ctl python
Language:Python 9
haotrr / ppsh
PPSH is a Ansible-like Tool and Library and aims to make things easier.
ansible ctl deploy-tool deployment golang library ssh
Language:Go 7
asminer / smart
Stochastic Model-checking Analyzer for Reliability and Timing
markov-chain petri-nets model-checking ctl pctl
Language:C++ 6
8Dion8 / nionctl
An abbreviation of common linux command-line utilities into one ctl
cli ctl linux
Language:Python 5
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.
model-checking ctl java kripke-structure ctl-formulae ctl-formulas satisfies-proposition satisfies
Language:Java 5
spidermoy / Model_Checking-LTL-CTLS
Computer Scientist Master Degree - Thesis Work
computer-science computer-science-degree ctl ctl-formulas ctl-star formal-methods haskell ltl ltl-formulas model-checking unam
Language:Haskell 5
spidermoy / OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
model-checking ltl ctl ctl-formulas linear-temporal-logic computation-tree-logic haskell haskell-programming computer-science logic computational-logic formal-verification formal-methods
Language:Haskell 5
vincent-hugot / nfalib
NFA framework for INSA-CVL 4A class on Verification / Model-Checking
automata ctl model-checking nondeterministic-finite-automata
Language:Python 5
chrjx / logseq2obsidian
A tool for migration from Logseq to Obsidian
logseq obsidian cmd command-line command-line-tool ctl golang note-taking pkm shell text-processing obsidian-md
Language:Go 4
fpoli / ctlmc
CTL model checker, implemented using BDDs (JavaBDD library)
model-checking ctl scala bdd
Language:Scala 4
iahmedbacha / ctl-model-checker
CTL model checker.
ctl model checker kripke antlr4
Language:Java 4
natimellino / SAT-Solver
A Haskell embedded DSL that parses and implements the SAT algorithm to CTL formulas. Final project for ALP subject.
logic haskell ctl dsl evaluator
Language:C 4
Alpenbelieve / JavaBDD_Application
JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。
javabdd boolean-expression ctl
Language:HTML 3
emmanuel-h / veritaf
CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson
ctl ltl veritaf solver peterson kripke
3
leomillon / jwtctl
JWT Generator/Reader CLI
jwt cli ctl kotlin unix shell macos windows linux homebrew
Language:Kotlin 3
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
ctl certificate transparency powershell powershell-gallery ctl-info certificates-info certificate-information powershell-module
Language:PowerShell 3
pure-linux / tinyoctl
TIO cli and packages intended for use by client programs.
cli ctl kubernetes-alternative
Language:Rust 3
qsre / gravitonctl
Launch & use a graviton instance in 5 seconds.
aws ctl ec2 graviton
Language:Go 3
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
Language:Rust 2
LogiVis
danielbinder / LogiVis
A teaching aid for concepts and algorithms in logic
automata boolean-algebra boolean-logic bounded-model-checking ctl kripke-structure logic logic-programming temporal-logic finite-automata finite-automaton finite-state-machine deterministic sat-solver simulation-finite-automaton
Language:Java 2
emman27 / jenkinsctl
A command line tool for Jenkins API
jenkins ctl cli
Language:Go 2
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.
ctl formal-verification model-checking
Language:Java 2
RealFax / pkg-ctl
golang sequential startup framework
ctl golang pkg pkgstore framework
Language:Go 2
yepengding / Kiwami
A generic bounded model checker.
bounded-model-checking ctl kripke-structure ltl minimization model-checking modeling-language formal-methods
Language:Java 2
cxlvinchau / vnmc
A (probabilistic) model checking toolkit fully implemented in Python
ctl formal-verification ltl model-checking
Language:Python 1

ctl

opencodeco / phpctl

Southclaws / sampctl

kysely-org / kysely-ctl

ipfs / js-ipfsd-ctl

xx4h / hctl

persistencelkg / KG-Task-Ctl

lip6 / ITSTools

monotty / fonts

bavix / dash

paultristanwagner / model-checking

rocq-community / comp-dec-modal

asvela / dlc-control

haotrr / ppsh

asminer / smart

8Dion8 / nionctl

jbretsch / modelcheck

spidermoy / Model_Checking-LTL-CTLS

spidermoy / OnTheFly_ModelChecking

vincent-hugot / nfalib

chrjx / logseq2obsidian

fpoli / ctlmc

iahmedbacha / ctl-model-checker

natimellino / SAT-Solver

Alpenbelieve / JavaBDD_Application

emmanuel-h / veritaf

leomillon / jwtctl

MS-LUF / Get-CertTransparencyInfo

pure-linux / tinyoctl

qsre / gravitonctl

0xMRTT / trashctl

danielbinder / LogiVis

emman27 / jenkinsctl

f-musa / ctl-model-checker

RealFax / pkg-ctl

yepengding / Kiwami

cxlvinchau / vnmc