I remember fondly programming on Inferno with Limbo that had reference counted GC and a cyclic version as well - but you were forced to declare data structures as cyclic.

Nim is interesting but I’ve been more closely following Zig lately. Perhaps it’s time to dig into Nim too!