Luca Di Stefano's Projects
A C-to-C transformation tool
My personal home page
Search papers on DBLP and add them to Zotero
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Useful stuff for the CADP toolbox
A beamer theme adhering to the Chalmers style guide.
CCS Interpreter and Verifier in C#
The Python programming language
My one-page resume, based on Deedy-Resume
Build cross platform desktop apps with .NET Core and ASP.NET NET Core.
"FAST Approaches to Scalable Similarity-based Test Case Prioritization" online material.
$ git remote <graduation> yearbook
Stuff I worked on while at GSSI (L'Aquila, Italy)
App per Open Data Ricostruzione Hackaton 2017
Utilities for the HOA format.
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Homebrew formulae for formal methods
Port of Rohan Chandra's Type theme to Hugo.
Progetto Ingegneria del Software 2014/2015
JAEGER - Just AnothEr Gross, over-Engineered Roguelike
Local Path Planner for multirotor UAVs (Master's Thesis project)
A free newsletter plugin for WordPress
Sito web per il gruppo Morning Stuff
Pretty-print text documents on a terminal using pandoc
pandoc + styles
Just good ol' minisat with some quality of life improvements and weak/strong assumptions
UWP Client for Pokemon Go
RSA implementation.