https://www.jetbrains.com/research/
JetBrains-Research
VSCode extension that is designed to help automate writing of Coq proofs.
Scientific literature explorer. Runs a Pubmed or Semantic Scholar search and allows user to explore high-level structure of result papers