web_random

A js_ffi library for generating random numbers in a browser environment.