Pinned Repositories
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)
python-asdl
ASDL parser taken from CPython 3.5
python-astexport
Export Python AST to JSON
python-c-api
Python/C API quick example
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.
prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
fpoli's Repositories
fpoli/abstat
Abstract-interpretation-based Static Analyzer for the While language
fpoli/ctlmc
CTL model checker, implemented using BDDs (JavaBDD library)
fpoli/docker-invenio
fpoli/docker-skype-pulseaudio
Run Skype inside an isolated Docker container on your Linux desktop! See its sights via X11 forwarding! Hear its sounds through the magic of PulseAudio and SSH tunnels!
fpoli/drone
Drone is a Continuous Integration platform built on Docker, written in Go
fpoli/inspire
Official mirror of INSPIRE overlay (http://invenio-software.org/repo/inspire).
fpoli/invenio
Invenio digital library software
fpoli/invenio-devscripts
A collection of scripts useful for Invenio development
fpoli/invenio-docker
Docker images for drone builds
fpoli/lambda
Lambda Machine in Haskell
fpoli/PassiveSniffer
Purely passive network analyzer for private LANs
fpoli/regalo2015
Sito-sfida per il regalo di Giove (2015)