A simple, standardized interface library to Erlang HTTP Servers.
An implementation of the Formality language in JavaScript
Temporary repository for Kind2's refactor based on HVM2