https://github.com/fpoli/python-astexport

Export Python AST to JSON

Last synced: 14 Apr 2025

https://github.com/fpoli/python-c-api

Python/C API quick example

Last synced: 14 Apr 2025

https://github.com/fpoli/python-asdl

ASDL parser taken from CPython 3.5

Last synced: 14 Apr 2025

https://github.com/fpoli/view-spark-timeline

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

cli spark visualization

Last synced: 14 Apr 2025

https://github.com/fpoli/cargo-diff-tools

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

Last synced: 25 Jul 2025

https://github.com/fpoli/abstat

Abstract-interpretation-based Static Analyzer for the While language

abstract-interpretation static-analysis while-language

Last synced: 17 Jul 2025

https://github.com/fpoli/qcharts

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

Last synced: 28 Jul 2025

https://github.com/fpoli/ctlmc

CTL model checker, implemented using BDDs (JavaBDD library)

bdd ctl model-checking scala

Last synced: 24 Aug 2025

https://github.com/fpoli/npm-bomb

NPM package with a lot of dependencies.

Last synced: 01 Jul 2025

https://github.com/fpoli/gicisky-tag

Python tools to write an image to a Gicisky tag

Last synced: 10 Jul 2025

https://github.com/fpoli/qi-explorer

Explore the quantifier instantiations of a Z3 trace

visualization-tools z3

Last synced: 25 Mar 2025

https://github.com/fpoli/docker-invenio

Last synced: 05 Oct 2025

https://github.com/fpoli/astar

Bots for the Vindinium programming challenge

Last synced: 20 Jan 2026

https://github.com/fpoli/kaggle-cooking

Kaggle "What's cooking" challenge.

Last synced: 25 Mar 2025

https://github.com/fpoli/smallchain

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

Last synced: 25 Mar 2025

https://github.com/fpoli/viper-ide-codespace

Try the Prusti and Viper IDE in a Github Codespace

prusti viper vscode

Last synced: 25 Mar 2025

https://github.com/fpoli/vscode-coq-linter

Basic linter for Coq

Last synced: 25 Mar 2025

https://github.com/fpoli/pic-robot

Source code for a self-balancing robot

Last synced: 25 Mar 2025

https://github.com/fpoli/rust-hello-cli

Prints a nice 'Hello World!' message

Last synced: 25 Mar 2025

https://github.com/fpoli/node-gremlin-run

Execute a single Gremlin query from the command line, without truncating the output

Last synced: 25 Mar 2025

https://github.com/fpoli/regalo2015

Sito-sfida per il regalo di Giove (2015)

Last synced: 17 Oct 2025

https://github.com/fpoli/lambda

Lambda Machine in Haskell

Last synced: 25 Mar 2025

https://github.com/fpoli/genome-track

Bioinformatics CLI tool to generate WIG tracks from SAM/BAM files

bioinformatics genome-track pysam sequence-coverage wig-tracks

Last synced: 06 Jul 2025

https://github.com/fpoli/passivesniffer

Purely passive network analyzer for private LANs

Last synced: 01 Jul 2025

https://github.com/fpoli/newton

Simulazione interattiva di corpi sotto l'azione della forza di attrazione gravitazionale reciproca

Last synced: 10 Sep 2025

https://github.com/fpoli/firmware-tools

Useful scripts for microcontroller programming

Last synced: 25 Mar 2025