Polar is a personal knowledge repository for PDF and web content supporting incremental reading and document annotation. - View it on GitHub