ercoppa's repositories
HadoopInternals
Diagrams describing Apache Hadoop internals (2.3.0 or later).
symbolic-execution-tutorial
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
homework-symbolic-execution
Homework on symbolic execution for the course "DATA AND NETWORK SECURITY" (Sapienza University of Rome, Computer Science Department)
GardeningBot
Yet another gardening bot based on ESP8266 nodemcu v3
docker-hadoop
Ubuntu 16.04 + Apache Hadoop 2.7.6 + Apache Pig 0.15
rust-scripts
few scripts in rust
htmlui
HTML UI for Kopia
immich
Self-hosted photo and video backup solution directly from your mobile phone.
kopia
Cross-platform backup tool for Windows, macOS & Linux with fast, incremental backups, client-side end-to-end encryption, compression and data deduplication. CLI and GUI included.
symcc
SymCC: efficient compiler-based symbolic execution
symqemu
SymQEMU: Compilation-based symbolic execution for binaries