Beast code in Giters

Greta Dolcetti's repositories

ML WebApp for tomato diseases prediction

Language:Jupyter Notebook100

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Language:CApache-2.0000

A library for building abstract interpretation-based analyses

Language:C++Apache-2.0000

000

Sentiment Analysis on IMBD Reviews using LSTM

Language:Jupyter Notebook000

SeaHorn Verification Framework

Language:CNOASSERTION000

Language:C000