danielbinder/LogiVis

A teaching aid for concepts and algorithms in logic

Language: Java - Size: 15.5 MB - Last synced: 1 day ago - Pushed: 2 days ago - Stars: 2 - Forks: 0

lip6/ITSTools

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

Language: Python - Size: 642 MB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 22 - Forks: 10

8Dion8/nionctl

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

Language: Python - Size: 116 KB - Last synced: 10 days ago - Pushed: over 1 year ago - Stars: 5 - Forks: 0

monotty/fonts

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

Size: 4.8 MB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 19 - Forks: 3

kysely-org/kysely-ctl

Command-line tool for Kysely

Language: TypeScript - Size: 250 KB - Last synced: 20 days ago - Pushed: 21 days ago - Stars: 23 - Forks: 0

mfrankiewicz/agh-model-checking 📦

Language: Roff - Size: 144 MB - Last synced: 26 days ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

opencodeco/phpctl

🐳 It is a Docker (containers) based development environment for PHP 🐘

Language: Shell - Size: 23.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 273 - Forks: 16

ipfs/js-ipfsd-ctl

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

Language: TypeScript - Size: 3.25 MB - Last synced: 12 days ago - Pushed: 27 days ago - Stars: 151 - Forks: 67

Southclaws/sampctl

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

Language: Go - Size: 137 MB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 237 - Forks: 33

yepengding/Kiwami

A generic bounded model checker.

Language: Java - Size: 90.8 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

emmanuel-h/veritaf

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

Size: 9.77 KB - Last synced: 2 months ago - Pushed: over 7 years ago - Stars: 3 - Forks: 1

mosteroid/gitlabctl

Control GitLab from terminal

Language: Go - Size: 23.3 MB - Last synced: 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

persistencelkg/KG-Task-Ctl

低代码数据治理脚手架

Language: Java - Size: 65.5 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 53 - Forks: 1

mars-86/CTL

Templates Library for C language

Language: C - Size: 23.4 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

chrskjoe/logseq2obsidian

A tool for migration from Logseq to Obsidian

Language: Go - Size: 14.6 KB - Last synced: 5 months ago - Pushed: about 1 year ago - Stars: 3 - Forks: 0

paultristanwagner/model-checking

Practice environment implementing a model checker for LTL, CTL and CTL* formulas

Language: Java - Size: 562 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 7 - Forks: 0

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.

Language: Java - Size: 55.7 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

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

Language: PowerShell - Size: 15.6 KB - Last synced: 8 months ago - Pushed: about 2 years ago - Stars: 2 - Forks: 5

asminer/smart

Stochastic Model-checking Analyzer for Reliability and Timing

Language: C++ - Size: 33.5 MB - Last synced: 8 months ago - Pushed: about 1 year ago - Stars: 5 - Forks: 3

fkj/c-ctl-check

A prototype model checker for CTL over constraint semirings

Language: F# - Size: 50.8 KB - Last synced: 8 months ago - Pushed: almost 4 years ago - Stars: 1 - Forks: 0

vincent-hugot/NFA_Framework

NFA framework for INSA-CVL 4A class on Verification / Model-Checking

Language: Python - Size: 299 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 4 - Forks: 5

RealFax/pkg-ctl

golang sequential startup framework

Language: Go - Size: 33.2 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 2 - Forks: 0

trong0dn/NuSMV-model-checker

Analyzing Transition Systems (Finite State Machines) With NuSMV

Language: C - Size: 12.1 MB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

opencodeco/ctl

🐚 A template for Command Line Applications using plain-old Shell Script.

Language: Shell - Size: 1000 Bytes - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

iahmedbacha/ctl-model-checker

CTL model checker.

Language: Java - Size: 149 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 3

leomillon/jwtctl

JWT Generator/Reader CLI

Language: Kotlin - Size: 112 KB - Last synced: 11 months ago - Pushed: about 6 years ago - Stars: 2 - Forks: 0

fonoster/routr-ui 📦

A webui for Routr

Language: JavaScript - Size: 36.8 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 16 - Forks: 2

AzeezDa/ceetle

A Rust Library for defining models in Computational Tree Logic and verifying their semantics

Language: Rust - Size: 37.1 KB - Last synced: 19 days ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

bavix/dash 📦

Server control panel

Language: PHP - Size: 6.31 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 23 - Forks: 5

coq-community/comp-dec-modal

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

Language: Coq - Size: 852 KB - Last synced: about 1 month ago - Pushed: 12 months ago - Stars: 8 - Forks: 2

haotrr/ppsh

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

Language: Go - Size: 12.7 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 8 - Forks: 4

asvela/dlc-control

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

Language: Python - Size: 118 KB - Last synced: over 1 year ago - Pushed: over 2 years ago - Stars: 5 - Forks: 1

cxlvinchau/vnmc

A (probabilistic) model checking toolkit fully implemented in Python

Language: Python - Size: 62.5 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

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.

Language: Java - Size: 172 KB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 3 - Forks: 0

eladkarako/lenovo-pm-ui-Source 📦

Lenovo's Power Manager (PWMUI, PWMUICtl) - reversed engineered for education purposes and bug fix for resource-loading handing on PC with newer versions of .Net PresentationFramework

Language: C# - Size: 156 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 1

qsre/gravitonctl

Launch & use a graviton instance in 5 seconds.

Language: Go - Size: 266 KB - Last synced: 10 months ago - Pushed: 12 months ago - Stars: 3 - Forks: 0

0xMRTT/trashctl

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

Language: Rust - Size: 1.13 MB - Last synced: 4 months ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

fpoli/ctlmc

CTL model checker, implemented using BDDs (JavaBDD library)

Language: Scala - Size: 539 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 3 - Forks: 1

sybila/pithya-core

Language: Kotlin - Size: 2.97 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

mibli/mlvdctl

Wiregurad Mullvad VPN CLI min-dependency management tool

Size: 7.81 KB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

joulook/Verification-of-Reactive-Systems-Spring-2021

In this repository you can find all of my projects for Verification of Reactive Systems Course when I was in 2nd semester of my master's at SUT.

Language: C++ - Size: 1.18 MB - Last synced: 6 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

natimellino/SAT-Solver

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

Language: C - Size: 11.9 MB - Last synced: over 1 year ago - Pushed: over 2 years ago - Stars: 4 - Forks: 0

klovercloud-ci-cd/ctl

A command line tool to interact with klovercloud-cd-cd api

Language: Go - Size: 234 MB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

kutifyhq/autifyctl

CLI tool for Autify API operation

Language: Go - Size: 44.9 KB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

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.

Language: SQL - Size: 20.5 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 1

boginw/petrigaal

Petri Game Strategy Synthesis

Language: Java - Size: 1020 KB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

emman27/jenkinsctl

A command line tool for Jenkins API

Language: Go - Size: 137 KB - Last synced: 3 months ago - Pushed: over 4 years ago - Stars: 2 - Forks: 2

afeiship/ushell-module-systemctl

Systemctl for centos.

Language: Shell - Size: 1.95 KB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

spidermoy/Model_Checking-LTL-CTLS

Computer Scientist Master Degree - Thesis Work

Language: Haskell - Size: 2.23 MB - Last synced: over 1 year ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

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

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

Size: 1.95 KB - Last synced: over 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

kkulewski/logic

Logic in Computer Science 2018/2019

Language: Objective-J - Size: 13.7 KB - Last synced: over 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

FailedCode/webserverctl

Better than a2ensite!

Language: Shell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

kalkins/rust_chess_ctl

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

Language: Rust - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

iskorini/CTLModelChecker

A simple model checking program for CTL developed for the course of Metodi Formali Per la Verifica di Sistemi.

Language: Python - Size: 2.76 MB - Last synced: over 1 year ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0