<https://github.com/JetBrains/kotlin/tree/master/l...

# random

[orangy]

https://github.com/JetBrains/kotlin/tree/master/libraries/tools/kotlin-stdlib-gen

[kristofdho]

@karelpeeters this is probably the one you remember

[karelpeeters]

Yeah, I crossed out my comment.