Highlights
- Pro
Block or Report
Block or report enricorusso
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
lmet Public
Forked from gabriele-costa/lmet
Lambda calculus enriched with service request operators (req), security sandboxes (box) and security metrics (met).
Xtend
-
-
Sommelier Public
Forked from di-unipi-socc/Sommelier
Validator of TOSCA application topologies
Python