Jürgen Heiling's following
- BorisTheBrave
- SchlenkRSchlenkR
- Elmelm
- Red Programming Languagered
- Avalonia UIAvaloniaUI
- ReScriptrescript-lang
- Andrej Bauerandrejbauer
- SRI International's Computer Science LaboratorySRI-CSL
- FADoSSfadoss
- Ian Storm Taylorianstormtaylor
- Bartosz SypytkowskiHorusiath
- YousefYousefED
- Computational Systems BiologyCSBiology
- Jon Sequeirajonsequitur
- Imandraimandra-ai
- Victor Cacciari MiraldoVictorCMiraldo
- UW PLSEuwplse
- Distributed ComponentsDistributedComponents
- ReScript Associationrescript-association
- Vegavega
- Steven G. Johnsonstevengj
- Queryversequeryverse
- Structrstructr
- AlgebraicJuliaAlgebraicJulia
- Appsmithappsmithorg
- Deis Labsdeislabs
- Nikolai Kudasovfizruk
- Gabriel Ebnergebner
- Grammatical FrameworkGrammaticalFramework
- Attempto
- Unisonunisonweb
- Steve Goguensgoguen
- Categorical DataCategoricalData
- Univalent MathematicsUniMath
- nLabncatlab
- Leanleanprover