We’re joining the @EclipseFdn’s new #OpenVSX Working Group to support the development, management and growth of the Open VSX Registry.

Read the press release to learn more about this #opensource collaboration: https://newsroom.eclipse.org/news/announcements/open-vsx-registry-vendor-neutral-open-source-alternative-visual-studio-0

#DeveloperTools

@TimSueberkrueb, oh, it looks like I was rather wrong! There is support for Agda in VSCodium:

https://open-vsx.org/extension/banacorn/agda-mode

Amazing! I will give it a try for sure.

#Agda #VSCodium #OpenVSX #FreeSoftware

@TimSueberkrueb, is it a free software extension that is in Microsoft's store, but not in #OpenVSX? Any extension in particular?

Maybe this documentation would be of help to you: https://github.com/VSCodium/vscodium/blob/master/DOCS.md#extensions-marketplace

#VSCodium

To install a language extension for #Haskell (including Haskell's language server protocol implementation called Haskell Language Server):

codium --install-extension haskell.haskell

It finally looks like there is a Haskell IDE I can recommend to others! (I just have to turn a blind eye to the fact it is implemented in #JavaScript.)

#LSP #VSCodium #OpenVSX

I didn't realize there is a #FreeSoftware binary distribution of VSCode named #VSCodium!

https://vscodium.com/

Hence there is no need to use proprietary VSCode or Atom for that matter. Unlike VSCode, VSCodium does not track you and report on your editor usage to the headquarters in Redmond. To make things even better, it comes with its own extension repository hosting only free software extensions:

https://open-vsx.org/

#OpenVSX

@acka47 "The #Eclipse board may soon allow all "standard" open-source licensed extensions onto #OpenVSX." Glad they come to reason. https://github.com/open-vsx/publish-extensions/pull/134#issuecomment-698787630