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

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

Systemctl for centos.

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

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.

Better than a2ensite!

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

CLI tool for Autify API operation

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

Logic in Computer Science 2018/2019

Control GitLab from terminal

Task tracker is a project used to track and manage your tasks. You can use a simple command line interface (CLI) to track what you need to do, what you have done, and what you are currently working on.

This repo contains the project files for model checking robotic systems considering environmental constraints.

Petri Game Strategy Synthesis

Wiregurad Mullvad VPN CLI min-dependency management tool

Analyzing Transition Systems (Finite State Machines) With NuSMV

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

Templates Library for C language

Oracle SQL Loader control file examples. The SQL*Loader control files contain data definition language (DDL) - sublanguage of SQL.