Federico Poli

python-astexport. Export Python AST to JSON

python-c-api. Python/C API quick example

gicisky-tag. Python tool to write an image to a Gicisky tag

python-asdl. ASDL parser taken from CPython 3.5

qCharts. Edit and visualize numeric charts, save as XML (academic project)

view-spark-timeline. Visualize in an SVG the timeline of an Apache Spark execution.

abstat. Abstract-interpretation-based Static Analyzer for the While language

cargo-diff-tools. Hide cargo/clippy warnings that are not in a `git diff`

ctlmc. CTL model checker, implemented using BDDs (JavaBDD library)

npm-bomb. NPM package with a lot of dependencies.

fpoli.github.io. Personal website

docker-invenio. Shell

smallchain. A Tokio-based simulation of a simple blockchain, with a REST API to interact with it.

qi-explorer. Explore the quantifier instantiations of a Z3 trace

kaggle-cooking. Kaggle "What's cooking" challenge.

astar. Bots for the Vindinium programming challenge