Dario Petrillo's repositories
flareon5-12
Bits and pieces I wrote to solve the last problem in the Flare-On 5 challenge - Includes the subleq and RSSB emulators
quantum-challenges
(unofficial) solutions to the quantum challenges I participated in
task-maker-rust-ppa
Machinery to publish new task-maker-rust releases to ppa:dariop1/task-maker-rust
competitive-programming
Some of my competitive programming code
flagWarehouse
Flag submission system for Attack/Defense CTFs :triangular_flag_on_post:
adversarial-training-for-free
Reproducing the results of https://arxiv.org/abs/1904.12843 - Final project for the Neural Networks course held at Sapienza in fall 2022
argos
Create GNOME Shell extensions in seconds, with support for GNOME 45
external-multipass-sort-visualization
Final project for the Data Management course held at Sapienza university in 2022
ghidra
Ghidra is a software reverse engineering (SRE) framework
github-action-get-latest-release
A Github action to get the latest release from another repository.
klee
KLEE Symbolic Execution Engine
monthly-challenges
Repository containing monthly challenges about quantum computing.
pltcov_groupcoding
Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs
pwninit
pwninit - automate starting binary exploit challenges
qiskit-textbook
A university quantum algorithms/computation course supplement based on Qiskit
RIOT
RIOT - The friendly OS for IoT
search-libc
Web wrapper of niklasb/libc-database
simple-file-system
Final project for the Operating Systems course 2021
SPBTLE-RF-RIOT
RIOT OS library to support the Bluetooth (V4.1 compliant) SPBTLE-RF module
task-maker-rust
Tool for building tasks for informatics competitions, with support for cache, distributed computations and more
too-many-lists
Learn Rust by writing Entirely Too Many linked lists
z3.rs
Rust bindings for the Z3 solver.