Discover @fpoli Open Source projects

Federico Poli (@fpoli)

fpoli

Stars
72
Global Rank 263,672 (Top 10 %)
Followers 55
Following 63
Registered over 11 years ago
Most used languages

Python
46.2 %

Shell
15.4 %

C++
7.7 %

C
7.7 %

Rust
7.7 %

Scala
7.7 %

Haskell
7.7 %

python-astexport

Export Python AST to JSON

python-c-api

Python/C API quick example

python-asdl

ASDL parser taken from CPython 3.5

abstat

Abstract-interpretation-based Static Analyzer for the While language

view-spark-timeline

Visualize in an SVG the timeline of an Apache Spark execution.

qCharts

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

ctlmc

CTL model checker, implemented using BDDs (JavaBDD library)

npm-bomb

NPM package with a lot of dependencies.

cargo-diff-tools

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

qi-explorer

Explore the quantifier instantiations of a Z3 trace

kaggle-cooking

Kaggle "What's cooking" challenge.

astar

Bots for the Vindinium programming challenge

docker-invenio