You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 . 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.
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. .
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).
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?
Activity
milessabin commentedon Jun 19, 2016
@zainab-ali suggested something like
with the Typelevel logo on the left.
yilinwei commentedon Jun 19, 2016
Here's what it would look like - there could be some tidying up to make this an
.
svgrather than apngbut I'm not too familiar with GIMP.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:
milessabin commentedon Jun 20, 2016
@yilinwei it would be better in green, but otherwise 👍.
yilinwei commentedon Jun 20, 2016
Done 😄.
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.
janstenpickle commentedon Mar 24, 2017
@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?
yilinwei commentedon Mar 24, 2017
I was wondering what was happening - links in plaintext.
logo
logo-compiler
green-logo
red-logo
pale-red-logo
pink-logo
yilinwei commentedon Apr 9, 2017
Does anyone mind if I add this to the website?
rossabaker commentedon Jan 19, 2022
These badges are already in wide use. Documenting them is a website issue. Transferring.
reardonj commentedon Aug 1, 2026
Draft for current versions is in #670