typelevel.github.com icon indicating copy to clipboard operation
typelevel.github.com copied to clipboard

Badges for typelevel projects

Open ceedubs opened this issue 9 years ago • 8 comments

As discussed on gitter. It might be nice to have recommended badges for typelevel projects (and incubator projects).

There's an example in the matryoshka readme that looks like Typelevel incubator. I think that in this context the typelevel red looks a bit too much like a build failure icon. @larsrh has suggested using a pinkish shade from the typelevel logo.

ceedubs avatar Jun 19 '16 11:06 ceedubs

@zainab-ali suggested something like example shield with the Typelevel logo on the left.

milessabin avatar Jun 19 '16 11:06 milessabin

Here's what it would look like - there could be some tidying up to make this an svg rather than a png but I'm not too familiar with GIMP. logo.

The colour is from the original logo.

(EDIT: Just clarifying I'm not suggesting people use this one - it's more a quick POC to what @zainab-ali suggested to see if people are happy with the look).

EDIT2: More professional version using inkscape

original link

Shortened so github works:

logo2

yilinwei avatar Jun 19 '16 22:06 yilinwei

@yilinwei it would be better in green, but otherwise :+1:.

milessabin avatar Jun 20 '16 06:06 milessabin

Done :smile:.

logo logo-compiler

You can change, the colour and text by changing the relevant parts of the long URL for anyone interested in experimenting with the colour/text.

EDIT:

All the colours which are in the logo for comparison for @larsrh comment on gitter.

green-logo red-logo pale-red-logo pink-logo

yilinwei avatar Jun 20 '16 07:06 yilinwei

@yilinwei Loving the badges!

I was wanting to add one to my incubating project, but Github has cached the images so I can't see the original URL you used from shields.io, could you possibly share the raw links?

janstenpickle avatar Mar 24 '17 10:03 janstenpickle

I was wondering what was happening - links in plaintext.

logo logo-compiler

green-logo red-logo pale-red-logo pink-logo

yilinwei avatar Mar 24 '17 10:03 yilinwei

Does anyone mind if I add this to the website?

yilinwei avatar Apr 09 '17 20:04 yilinwei

These badges are already in wide use. Documenting them is a website issue. Transferring.

rossabaker avatar Jan 19 '22 16:01 rossabaker