Popular repositories Loading

1. launch_on_workspace launch_on_workspace Public

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

   Python 7

2. ltl3dra ltl3dra Public

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

   C 2

3. pandas2pgfplots pandas2pgfplots Public

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

   Jupyter Notebook 2

4. NCSB-Complementation NCSB-Complementation Public

   Jupyter Notebook 1

5. bib2md bib2md Public

   Bibliography with BibLaTeX into Markdown conversion tool

   TeX 1

6. spin_experiments spin_experiments Public

   Perl 6