Michele Dinelli

Projects

Here you can find a list of my recent projects. It may not be updated and it is a selction. The majority of my projects are on GitHub.

Lastmod:
Commit:
dfdf9be
Golamb
An interpreter for the Untyped Lambda Calculus written in Go.
Lastmod:
Commit:
dfdf9be
On Proving The Security Of Message Authentication Codes Using Lamba-BLL and Hoare Logic
My master’s thesis
Lastmod:
Commit:
dfdf9be
GOTPi
Library and CLI utility to play with OTP and images
Lastmod:
Commit:
dfdf9be
Aculei
Hunter camera archive
Lastmod:
Commit:
dfdf9be
We Bot Laughed
A Telegram bot which is a great fan of One Piece
Lastmod:
Commit:
dfdf9be
Wifind
Radio fingerprinting for WiFi networks
Lastmod:
Commit:
dfdf9be
Where I Wrote This
My room in 3D on the browser with WebGL