Contract library for javascript based on category theory. - View it on GitHub