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 276
Southclaws / sampctl
The Swiss Army Knife of SA:MP - vital tools for any server owner or library maintainer.
sa-mp sa-mp-server sa-mp-development server-tools command-line ctl package-manager package-management dependency-manager build-tool pawn
Language:Go 238
ipfs / js-ipfsd-ctl
Control an IPFS daemon (go-ipfs or js-ipfs) using JavaScript!
ctl daemon go-ipfs ipfs js-ipfs
Language:TypeScript 151
persistencelkg / KG-Task-Ctl
低代码数据治理脚手架
archiving comparison ctl data-synchronization springboot ctl-job reverse-recovery
Language:Java 51
bavix / dash
Server control panel
dashboard ctl gitlab samba smb plex netdata monitor monitoring laravel
Language:PHP 23
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 22
monotty / fonts
Monospaced Fonts for CTL Scripts (e.g. Devanagari, Tamil)
devanagari mono monospaced font typeface ctl fixed terminal tty console
19
coq-community / comp-dec-modal
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
coq mathcomp modal-logics ctl pdl
Language:Coq 8
haotrr / ppsh
PPSH is a Ansible-like Tool and Library and aims to make things easier.
ssh ansible deployment deploy-tool golang library ctl
Language:Go 8
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 hacktoberfest
Language:Java 8
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 7
8Dion8 / nionctl
An abbreviation of common linux command-line utilities into one ctl
cli ctl linux
Language:Python 5
asminer / smart
Stochastic Model-checking Analyzer for Reliability and Timing
markov-chain petri-nets model-checking ctl pctl
Language:C++ 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 / NFA_Framework
NFA framework for INSA-CVL 4A class on Verification / Model-Checking
automata ctl model-checking nondeterministic-finite-automata
Language:Python 5
fpoli / ctlmc
CTL model checker, implemented using BDDs (JavaBDD library)
model-checking ctl scala bdd
Language:Scala 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
spidermoy / Model_Checking-LTL-CTLS
Computer Scientist Master Degree - Thesis Work
unam model-checking haskell computer-science computer-science-degree ltl ctl ctl-star ctl-formulas ltl-formulas formal-methods
Language:Haskell 4
Alpenbelieve / JavaBDD_Application
JavaBDD 的应用，包括：电路正确性验证、布尔函数运算，以及 CTL 模型检验。基于 SpringBoot 框架，使用 Graphviz 可视化。
javabdd boolean-expression ctl
Language:HTML 3
chrskjoe / 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 3
emmanuel-h / veritaf
CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson
ctl ltl veritaf solver peterson kripke
3
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 3
leomillon / jwtctl
JWT Generator/Reader CLI
jwt cli ctl kotlin unix shell macos windows linux homebrew
Language:Kotlin 3
qsre / gravitonctl
Launch & use a graviton instance in 5 seconds.
graviton ec2 aws ctl
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
iahmedbacha / ctl-model-checker
CTL model checker.
ctl model checker kripke antlr4
Language:Java 2
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 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
fkj / c-ctl-check
A prototype model checker for CTL over constraint semirings
constraint-semirings ctl model-checking quantitative-methods
Language:F# 1
sybila / pithya-core
parameter-estimation model-checker ctl
Language:Kotlin 1
vzolotar / Oracle-SQL-Loader-Ctl-Examples
Oracle SQL Loader control file examples. The SQL*Loader control files contain data definition language (DDL) - sublanguage of SQL.
sqlldr oracle etl ctl
Language:SQL 1

ctl

opencodeco / phpctl

Southclaws / sampctl

ipfs / js-ipfsd-ctl

persistencelkg / KG-Task-Ctl

bavix / dash

lip6 / ITSTools

monotty / fonts

coq-community / comp-dec-modal

haotrr / ppsh

paultristanwagner / model-checking

asvela / dlc-control

8Dion8 / nionctl

asminer / smart

spidermoy / OnTheFly_ModelChecking

vincent-hugot / NFA_Framework

fpoli / ctlmc

natimellino / SAT-Solver

spidermoy / Model_Checking-LTL-CTLS

Alpenbelieve / JavaBDD_Application

chrskjoe / logseq2obsidian

emmanuel-h / veritaf

jbretsch / modelcheck

leomillon / jwtctl

qsre / gravitonctl

0xMRTT / trashctl

danielbinder / LogiVis

emman27 / jenkinsctl

f-musa / ctl-model-checker

iahmedbacha / ctl-model-checker

MS-LUF / Get-CertTransparencyInfo

RealFax / pkg-ctl

yepengding / Kiwami

cxlvinchau / vnmc

fkj / c-ctl-check

sybila / pithya-core

vzolotar / Oracle-SQL-Loader-Ctl-Examples