simone20a

Milano

Pinned Repositories

asmeta
asmeta main repository with code and examples
Language:Java15 4 437
asmeta_nested_imports
Original Asmeta with a correction concerning the import visiting method, if a model imports a library, and this last one imports another library different from the standard library or CTLlibrary, the method won't find any library due to the unchanging folder during the visiting process.
Language:Java00
connect-sdk
Wormhole Connect SDK
Language:TypeScript00
Fabric_school_material
Github Repository for unicam Fabric winter school
Language:Shell00
simone20a
00
Sketches
yo, here my sketches
Language:JavaScript00
tardis
The TARDIS concolic test case generator
Language:Java00
tinymind-blog
https://tinymind.me/simone20a
00
ethereum-via-asm
Language:Assembly21

simone20a's Repositories

simone20a/asmeta_nested_imports
Original Asmeta with a correction concerning the import visiting method, if a model imports a library, and this last one imports another library different from the standard library or CTLlibrary, the method won't find any library due to the unchanging folder during the visiting process.
Language:Java00
simone20a/connect-sdk
Wormhole Connect SDK
Language:TypeScript00
simone20a/Fabric_school_material
Github Repository for unicam Fabric winter school
Language:Shell00
simone20a/simone20a
00
simone20a/Sketches
yo, here my sketches
Language:JavaScript00
simone20a/tardis
The TARDIS concolic test case generator
Language:Java00
simone20a/tinymind-blog
https://tinymind.me/simone20a
00