10000 stars on GitHub!


#1

An interesting number :congratulations:


#2

Does the 10000th star-giver get a T-shirt? Or a ticket to JuliaCon?


#3

It was on 10k so I unstarred and starred again… Does that count?


#4

With you featuring so close to the top, I was wondering whether you did some unsavory manipulations! :grin:


#5

Hah! This post just made me realize that I’ve never actually bothered to “star” Julia, despite using it for almost 3 years now! Well, situation corrected. Say hello to star-er #10,015. :wink: