Stream: ideas

Topic: github topic


view this post on Zulip Brendan Hansknecht (Sep 13 2023 at 02:02):

I think that we should put the roc-lang repos all in the same github topic. I think either we should chose roc or roc-lang. I personally would prefer roc, but it is also used by some libraries that deal with Receiver Operator Characteristic (ROC) curves. So it would just be a less pure github topic.

If we instead use roc-lang, it looks to be a pure topic that would only be used by us.

I think doing this overall all should give a cool list of repos that people can look at related to roc.
By starting with the official repos, I think it would make it clearer what github topic we use. That way, hopefully most roc libraries in general can all have the same topic. Thoughts?

view this post on Zulip Brendan Hansknecht (Sep 13 2023 at 02:02):

current roc topic and roc-lang topic

view this post on Zulip Richard Feldman (Sep 13 2023 at 03:16):

we also already have some projects using the roc-lang topic: https://github.com/topics/roc-lang

view this post on Zulip Anton (Sep 13 2023 at 09:31):

roc-lang topic sounds good

view this post on Zulip Anton (Sep 13 2023 at 09:36):

I've added it where I could, can someone with access do github.com/roc-lang/unicode and github.com/roc-lang/rbt ?

view this post on Zulip Luke Boswell (Sep 13 2023 at 10:18):

I added a few of my repositories too. I've skipped a few that are very experimental and immature. TIL about github topics :smile:

view this post on Zulip Brendan Hansknecht (Sep 13 2023 at 13:51):

Cool. I'll update some of my repos from roc to roc-lang


Last updated: Jun 16 2026 at 16:19 UTC