Share your research online by compiling it to JavaScript!
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
boolector
hugs
incomplete
lingeling
minisat
.gitignore
README.md

README.md

research.js

Share your research online by compiling it to JavaScript!

We will use this repository to host information and scripts to help researchers port their research projects to JavaScript. Note that Emscripten changes fairly frequently so these scripts might not work perfectly; they are intended merely as examples of how to compile projects with Emscripten.

A short writeup and demos are available here.