GitHub repository: o1-labs/integers_stubs_js
Primary language: JavaScript
Description: Javascript stubs for the integers library in js_of_ocaml