xblahoud

launch_on_workspace

The script allows to launch applications on a specified workspace in Linux. Tested with Ubuntu and Gnome

ltl3dra

A translator of the fragment LTL\G(U,X) into deterministic automata.

pandas2pgfplots

LIbrary for plotting data stored in pandas DataFrames using pgfplots for LaTeX.

NCSB-Complementation

awalipy-binder

bib2md

Bibliography with BibLaTeX into Markdown conversion tool

dot2tex

Convert graphs generated by Graphviz to LaTeX friendly formats

dotfiles

EL-automata-tex

FiMDPEnv

Simulation environments for FiMDP Package

LTL2DA-comparison

ltlcross_wrapper

Python wrapper of ltlcross from Spot

Noodler

Solving String equations using automata

pysmt

pySMT: A library for SMT formulae manipulation and solving

RabinGames

A python library for playin Rabin games

seminator-docker

Docker image for running seminator and its Python bindings

seminator-evaluation

Experimental evaluation of Seminator on LTL formulas

spin_experiments

TikZ-drawings

Some of the Tikz drawings I've created during my academic carrer. Mostly automata drawings

tikzmagic

A Jupyter extension for compiling and displaying images described by the TikZ language.

wsl2-popos

A WSL2 desktop environment based on PopOS