Nim has exactly that with the GC_step proc. https://nim-lang.org/1.4.0/gc.html https://nim-lang.org/1.4.0/gc.html However recent and future versions (2.0) are

Nim has exactly that with the GC_step proc. https://nim-lang.org/1.4.0/gc.html https://nim-lang.org/1.4.0/gc.html However recent and future versions (2.0) are moving towards a different approach that is also applicable for deterministic real time systems: ARC, which is basically alloc and free calls inserted automatically by the compiler using static analysis (no "runtime").