GitHub repository: konn/vscode-generic-input-method
Primary language: TypeScript
Description: Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX