Polar is a personal knowledge repository for PDF and web content supporting incremental reading and document annotation. Manage and prioritize your reading with progress tracking, flagging, tagging, and more.