Pinned Repositories
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
crab
A library for building abstract interpretation-based analyses
gretadolcetti
gretadolcetti.github.io
IMDB_LSTM
Sentiment Analysis on IMBD Reviews using LSTM
seahorn
SeaHorn Verification Framework
TomatoMalato
ML WebApp for tomato diseases prediction
verify-c-common
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
llamafile
Distribute and run LLMs with a single file.
gretadolcetti's Repositories
gretadolcetti/TomatoMalato
ML WebApp for tomato diseases prediction
gretadolcetti/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
gretadolcetti/crab
A library for building abstract interpretation-based analyses
gretadolcetti/gretadolcetti
gretadolcetti/gretadolcetti.github.io
gretadolcetti/IMDB_LSTM
Sentiment Analysis on IMBD Reviews using LSTM
gretadolcetti/seahorn
SeaHorn Verification Framework
gretadolcetti/verify-c-common
gretadolcetti/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research