coq-community/vsc-conceal
Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
TypeScriptMIT
Stargazers
- AlexanderZeilmann
- BriaoeuidhtnsSalt Lake City
- cabo40Mexico City
- chaichontatJohns Hopkins University
- cht33
- dogweather@public-law
- dtwil
- EvgeneOskin@Termius
- finisitineris
- grafcetonline
- Heliodex@tp-link-extender
- hmcol
- jjholt
- joaogui1
- ken-okabeJapan
- KiiyyaPortland, Oregon, USA
- kjxlstadOslo
- L1szt
- LenAgainUnited Kingdom
- LucaDiBona
- MapleCCC
- marcusadair
- nanikamado
- omrycoIsrael
- PiotrSokolStony Brook
- rtetleySED
- sebastienPatteFrance
- ShiromiTsukasa
- tiziano88@google, @project-oak
- tririverDAMTP, University of Cambridge
- universemaster
- v217
- Victor333Huesca@ARM-software
- ybeltukov
- ZakCodesGatineau, Qc, Canada
- zinsss