fpoli

PhD candidate in CS. Working on automated reasoning and Rust.

ETH Zurich

Pinned Repositories

abstat
Abstract-interpretation-based Static Analyzer for the While language
Language:Haskell5 3 00
cargo-diff-tools
Hide cargo/clippy warnings that are not in a `git diff`
Language:Rust5 3 02
ctlmc
CTL model checker, implemented using BDDs (JavaBDD library)
Language:Scala4 4 01
python-asdl
ASDL parser taken from CPython 3.5
Language:Python9 3 01
python-astexport
Export Python AST to JSON
Language:Python26 4 26
python-c-api
Python/C API quick example
Language:C16 3 08
qCharts
Edit and visualize numeric charts, save as XML (academic project)
Language:C++4 3 03
view-spark-timeline
Visualize in an SVG the timeline of an Apache Spark execution.
Language:Python5 3 10
prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
Language:TypeScript22 8 3310
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Language:Rust1.6k 21 475106

fpoli's Repositories

fpoli/python-astexport
Export Python AST to JSON
Language:Python26 4 26
fpoli/python-c-api
Python/C API quick example
Language:C16 3 08
fpoli/python-asdl
ASDL parser taken from CPython 3.5
Language:Python9 3 01
fpoli/cargo-diff-tools
Hide cargo/clippy warnings that are not in a `git diff`
Language:Rust5 3 02
fpoli/view-spark-timeline
Visualize in an SVG the timeline of an Apache Spark execution.
Language:Python5 3 10
fpoli/qCharts
Edit and visualize numeric charts, save as XML (academic project)
Language:C++4 3 03
fpoli/npm-bomb
NPM package with a lot of dependencies.
Language:Shell2 2 00
fpoli/astar
Bots for the Vindinium programming challenge
Language:Python1 4 32
fpoli/gicisky-tag
Python tools to write an image to a Gicisky tag
Language:Python1 2 11
fpoli/kaggle-cooking
Kaggle "What's cooking" challenge.
Language:Python1 3 00
fpoli/qi-explorer
Explore the quantifier instantiations of a Z3 trace
Language:Python1 2 0
fpoli/smallchain
A Tokio-based simulation of a simple blockchain, with a REST API to interact with it.
Language:Rust1
fpoli/genome-track
Bioinformatics CLI tool to generate WIG tracks from SAM/BAM files
Language:Python0 3 00
fpoli/compiletest-rs
An extraction of the compiletest utility from the Rust compiler
Language:Rust2 0
fpoli/dafny
Dafny is a verification-aware programming language
Language:C#2 0
fpoli/diff-report-rs
Only report cargo/clippy warnings related to the lines of a git diff.
Language:Rust3 0
fpoli/duchess
Experiments with Java-Rust interop
Language:Rust1 0
fpoli/firmware-tools
Useful scripts for microcontroller programming
Language:Python3 0
fpoli/jni-rs
Rust bindings to the JNI
Language:Rust2 0
fpoli/lalrpop
LR(1) parser generator for Rust
Language:Rust1 0
fpoli/newton
Simulazione interattiva di corpi sotto l'azione della forza di attrazione gravitazionale reciproca
Language:C++3 0
fpoli/node-gremlin-run
Execute a single Gremlin query from the command line, without truncating the output
Language:JavaScript2 0
fpoli/pic-robot
Source code for a self-balancing robot
Language:C3 0
fpoli/polonius
Defines the Rust borrow checker.
Language:Rust2 0
fpoli/rucaja
Calling Java code from Rust via JNI
Language:Rust2 0
fpoli/rust-hello-cli
Prints a nice 'Hello World!' message
Language:Rust2 0
fpoli/viper-ide-codespace
Try the Prusti and Viper IDE in a Github Codespace
Language:Shell3 1
fpoli/vscode-coq-linter
Basic linter for Coq
Language:TypeScript2 1
fpoli/z3
The Z3 Theorem Prover
Language:C++2 0
fpoli/z3.rs
Rust bindings for the Z3 solver.
Language:Rust2 0