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

Command line tool for model checking using LTL, CTL and CTL* formulas

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.

This is a simple command line interface (CLI) to fetch the recent activity of a GitHub user and display it in the terminal.

Computer Scientist Master Degree - Thesis Work

golang sequential startup framework

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

TIO cli and packages intended for use by client programs.

A generic bounded model checker.

JWT Generator/Reader CLI

A (probabilistic) model checking toolkit fully implemented in Python

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

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

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

A small model checker for Computational Tree Logic

Petri Game Strategy Synthesis

A teaching aid for concepts and algorithms in logic

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

Systemctl for centos.

A daemon + ctl approach to pomodoro. Start a pomodoro server and interact with it via a ctl process