A Javascript standard library