The Wayback Machine - https://web.archive.org/web/20220806153104/https://github.com/topics/ctl

#

ctl

Here are 41 public repositories matching this topic...

Southclaws / sampctl

Sponsor

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

package-manager dependency-manager command-line sa-mp pawn build-tool sa-mp-development ctl sa-mp-server package-management server-tools mp-server

Updated Jul 1, 2022
Go

ipfs / js-ipfsd-ctl

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

daemon ipfs go-ipfs ctl js-ipfs

Updated Aug 1, 2022
JavaScript

bavix / dash

Server control panel

laravel gitlab monitor monitoring dashboard samba smb plex ctl netdata

Updated Jul 26, 2022
PHP

lip6 / ITSTools

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

eclipse ltl safety model-checking petri-net model-driven-development ctl

Updated Jul 22, 2022
Python

fonoster / routr-ui

Sponsor

A webui for Routr

ui controller materialdesign ctl routr sipserver

Updated Jan 31, 2022
JavaScript

monotty / fonts

Monospaced Fonts for CTL Scripts (e.g. Devanagari, Tamil)

console font terminal mono typeface tty devanagari ctl fixed monospaced

Updated Mar 27, 2022

haotrr / ppsh

PPSH is a Ansible-like Tool and Library and aims to make things easier.

ssh golang ansible library deployment ctl deploy-tool

Updated Apr 7, 2020
Go

asminer / smart

Stochastic Model-checking Analyzer for Reliability and Timing

markov-chain model-checking petri-nets ctl pctl

Updated Jun 16, 2021
C++

natimellino / SAT-Solver

A Haskell embedded DSL that parses and implements the SAT algorithm to CTL formulas. Final project for ALP subject.

haskell dsl logic evaluator ctl

Updated Dec 8, 2021
C

8Dion8 / nionctl

An abbreviation of common linux command-line utilities into one ctl

Updated Jul 29, 2022
Python

coq-community / comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

coq ctl pdl modal-logics mathcomp

Updated Jan 20, 2022
Coq

asvela / dlc-control

Convenience wrapper of Toptica Laser SDK for controlling a Toptica CTL with a DLCpro

python control laser ctl dlc toptica dlcpro

Updated Nov 30, 2021
Python

emmanuel-h / veritaf

CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson

solver ltl ctl veritaf peterson kripke

Updated Feb 2, 2017

emman27 / jenkinsctl

A command line tool for Jenkins API

cli jenkins ctl

Updated Feb 18, 2020
Go

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 powershell powershell-gallery transparency ctl powershell-module ctl-info certificates-info certificate-information

Updated Apr 16, 2022
PowerShell

fpoli / ctlmc

CTL model checker, implemented using BDDs (JavaBDD library)

scala bdd model-checking ctl

Updated Jun 24, 2015
Scala

spidermoy / OnTheFly_ModelChecking

Efficient On-the-Fly Model Checking for LTL and CTL★.

computer-science haskell logic ltl model-checking formal-methods ctl formal-verification computational-logic linear-temporal-logic computation-tree-logic haskell-programming ctl-formulas

Updated Dec 21, 2019
Haskell

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.

java model-checking ctl satisfies kripke-structure ctl-formulas ctl-formulae satisfies-proposition

Updated May 26, 2022
Java

spidermoy / Model_Checking-LTL-CTLS

Computer Scientist Master Degree - Thesis Work

computer-science haskell ltl model-checking formal-methods ctl unam computer-science-degree ctl-formulas ctl-star ltl-formulas

Updated Feb 8, 2021
Haskell

qsre / gravitonctl

Launch & use a graviton instance in 5 seconds.

aws ec2 ctl graviton

Updated Mar 18, 2022
Go

leomillon / jwtctl

JWT Generator/Reader CLI

kotlin windows macos linux shell cli homebrew unix jwt ctl

Updated Mar 25, 2018
Kotlin

0xMRTT / trashctl

A command line interface for trash written in Rust (WIP)

rust cli trash freedesktop rust-lang ctl clap trash-management clap-rs rust-cli trashctl

Updated Aug 4, 2022
Rust

iahmedbacha / ctl-model-checker

CTL model checker.

checker model antlr4 ctl kripke

Updated Jan 15, 2021
Java

npyl / swap-command-with-control-for-wine

karabiner-elements complex modification to enable CMD+XXX instead of CTL+XXX shortcuts

macos swap cmd wine ctl with karabiner-elements

Updated Oct 6, 2019

fkj / c-ctl-check

A prototype model checker for CTL over constraint semirings

model-checking ctl quantitative-methods constraint-semirings

Updated Jun 26, 2020
F#

sybila / pithya-core

parameter-estimation ctl model-checker

Updated Dec 15, 2020
Kotlin

kalkins / rust_chess_ctl

A program for playing chess in the terminal, written in Rust

Updated Mar 28, 2017
Rust

FailedCode / webserverctl

Better than a2ensite!

nginx webserver apache2 ctl

Updated Jan 6, 2018
Shell

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.

etl oracle ctl sqlldr

Updated Dec 11, 2021
SQL

kkulewski / logic

Logic in Computer Science 2018/2019

logic ltl promela alloy proofs ctl

Updated Jan 28, 2019
Objective-J

Improve this page

Add a description, image, and links to the ctl topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ctl topic, visit your repo's landing page and select "manage topics."