software-analysis. Material (mostly slides) for a graduate course on (formal) software analysis.
secblk. Extract PDF tables with data about securities, lookup additional information online, and export to Excel.
