Popular repositories Loading

1. software-analysis software-analysis Public

   Material (mostly slides) for a graduate course on (formal) software analysis.

   32 4

2. secblk secblk Public

   Extract PDF tables with data about securities, lookup additional information online, and export to Excel.

   Python 1

3. automated-program-repair.github.io automated-program-repair.github.io Public

   Forked from program-repair/program-repair.github.io

   HTML

4. CSrankings CSrankings Public

   Forked from emeryberger/CSrankings

   A web app for ranking computer science departments according to their research output in selective venues.

   Python

5. data2models data2models Public

   R

6. filtro-spam filtro-spam Public

   Qualche esempio di implementazione di un filtro anti-spam sotto forma di un Jupyter Notebook.

   Jupyter Notebook