Federico Poli (@fpoli)
github

fpoli

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    72
  • Global Rank 255,767 (Top 9 %)
  • Followers 55
  • Following 63
  • Registered almost 11 years ago
  • Most used languages
    Python
         46.2 %
    Shell
         15.4 %
    C++
         7.7 %
    C
         7.7 %
    Rust
         7.7 %
    Haskell
         7.7 %
    Scala
         7.7 %

Top repositories

1

python-astexport

Export Python AST to JSON
Python
26
star
2

python-c-api

Python/C API quick example
C
12
star
3

python-asdl

ASDL parser taken from CPython 3.5
Python
9
star
4

abstat

Abstract-interpretation-based Static Analyzer for the While language
Haskell
5
star
5

view-spark-timeline

Visualize in an SVG the timeline of an Apache Spark execution.
Python
4
star
6

qCharts

Edit and visualize numeric charts, save as XML (academic project)
C++
4
star
7

ctlmc

CTL model checker, implemented using BDDs (JavaBDD library)
Scala
4
star
8

npm-bomb

NPM package with a lot of dependencies.
Shell
2
star
9

cargo-diff-tools

Hide cargo/clippy warnings that are not in a `git diff`
Rust
2
star
10

qi-explorer

Explore the quantifier instantiations of a Z3 trace
Python
1
star
11

astar

Bots for the Vindinium programming challenge
Python
1
star
12

kaggle-cooking

Kaggle "What's cooking" challenge.
Python
1
star
13

docker-invenio

Shell
1
star