betterclock.js

const EPS = 1e-3;
const EMPTY_FRAMES_THRESHOLDS = 5;

function stopWhenNeeded(dt, position, velocity, clock) {
 const ds = diff(position);
 const noMovementFrames = new Value(0);

 return cond(
   lessThan(abs(ds), EPS),
   [
     set(noMovementFrames, add(noMovementFrames, 1)),
     cond(
       greaterThan(noMovementFrames, EMPTY_FRAMES_THRESHOLDS),
       stopClock(clock)
     ),
   ],
   set(noMovementFrames, 0)
 );
}