gretadolcetti

Pinned Repositories

pytype
A static type analyzer for Python code
Language:Python4.7k 57 707275
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Language:C00
crab
A library for building abstract interpretation-based analyses
Language:C++00
gretadolcetti
0 1 00
IMDB_LSTM
Sentiment Analysis on IMBD Reviews using LSTM
Language:Jupyter Notebook0 1 00
seahorn
SeaHorn Verification Framework
Language:C00
TomatoMalato
ML WebApp for tomato diseases prediction
Language:Jupyter Notebook10
verify-c-common
Language:C00
llamafile
Distribute and run LLMs with a single file.
Language:C++19.3k 178 408981
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Language:C274 13 7137

gretadolcetti's Repositories

gretadolcetti/TomatoMalato
ML WebApp for tomato diseases prediction
Language:Jupyter Notebook10
gretadolcetti/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Language:C00
gretadolcetti/crab
A library for building abstract interpretation-based analyses
Language:C++00
gretadolcetti/gretadolcetti
0 1 00
gretadolcetti/IMDB_LSTM
Sentiment Analysis on IMBD Reviews using LSTM
Language:Jupyter Notebook0 1 00
gretadolcetti/seahorn
SeaHorn Verification Framework
Language:C00
gretadolcetti/verify-c-common
Language:C00