home
news
cv
research
publications
projects
services
group
teaching
repos(current)
faq

repos

Some GitHub repositories I contribute to.

miculan/thud

miculan/thud

bigraphs/jlibbig

bigraphs/jlibbig

cysecud/DBCChecker

cysecud/DBCChecker

miculan/telegram-mtproto2-verification

miculan/telegram-mtproto2-verification

abu-lang/goabu

abu-lang/goabu

abu-lang/abudsl

abu-lang/abudsl

abu-lang/abuc

abu-lang/abuc

miculan/shaping-anonymous-contact-tracing-data

miculan/shaping-anonymous-contact-tracing-data

lucageatti/Acidify

lucageatti/Acidify

© Copyright 2025 Marino Miculan.