I finally moved the nondeprecated Ur/Web libraries to GitHub. You can see them listed here: https://github.com/urweb One of them is freshly released. It's called "world," and it includes OAuth and GitHub API access.