A Dart implementation of DSON