Beast code in Giters

Marino Miculan's repositories

Formal Verification of Telegram's MTProto 2.0

Language:ShellGPL-3.012 20

A LaTeX package for writing a THesis at the University of Udine

Language:TeX12 2 2

Recovering shape and geometric features from anonymous contact tracing data

Language:Python300

My personal website

Language:JavaScriptMIT100