Pinned Repositories
pddl
Unquestionable PDDL 3.1 parser
flloat_vs_ltlf2dfa
A time comparison between FLLOAT and LTLf2DFA packages
Four-bar-Linkage-Analysis
This is a Kinematic and Static Analysis of a four-bar linkage done with Matlab
janus
A Python implementation of Janus algorithm (https://github.com/Oneiroe/Janus)
Master-Thesis
LTL and Past LTL on Finite Traces for Planning and Declarative Process Mining
lemming
Human in the loop plan selection
nl2ltl
Natural Language (NL) to Linear Temporal Logic (LTL)
LTLf2DFA
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
Plan4Past
Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
TraceAligner
Declarative Trace Alignment via Automated Planning
francescofuggitti's Repositories
francescofuggitti/Four-bar-Linkage-Analysis
This is a Kinematic and Static Analysis of a four-bar linkage done with Matlab
francescofuggitti/janus
A Python implementation of Janus algorithm (https://github.com/Oneiroe/Janus)
francescofuggitti/flloat_vs_ltlf2dfa
A time comparison between FLLOAT and LTLf2DFA packages
francescofuggitti/Master-Thesis
LTL and Past LTL on Finite Traces for Planning and Declarative Process Mining
francescofuggitti/boostnote_notes
Some useful notes taken with Boostnote
francescofuggitti/dotfiles
my dotfiles
francescofuggitti/dotpy
Python .dot parser specific for MONA dfa output
francescofuggitti/EasyCurrency
Simple iOS app for currency conversions
francescofuggitti/cq-plugin-utils
A set of utilities for CloudQuery plugin development
francescofuggitti/cq-source-file
A plugin to import data from a local file into CloudQuery
francescofuggitti/cq-source-ldap
CloudQuery source plugin to collect arbitrary LDAP/Active Directory data.
francescofuggitti/cq-source-openstack
OpenStack source plugin for cloudquery.io
francescofuggitti/cq-source-snmp
CloudQuery Plugin for SNMP devices
francescofuggitti/EasyCurrencyWeb
This is the repo for the LTW project
francescofuggitti/francescofuggitti.github.io
My personal website
francescofuggitti/LTLf2DFA_website
francescofuggitti/nl2flow
NL2Flow: A PDDL Interface to Flow Construction
francescofuggitti/pddl
Unquestionable PDDL 3.1 parser
francescofuggitti/superset
Apache Superset is a Data Visualization and Data Exploration Platform
francescofuggitti/SurveyWS
This is a simple WS written in Python 2.7 that exposes the API for creating/manipulate/showing surveys
francescofuggitti/zico2-pentest
Zico2 Pentest on Vulnhub Walkthrough