This is Adam Chlipala's company for consulting related to the Ur/Web programming language (and possibly other fun stuff in the future).
Interested in hiring folks to build a web application, or doing in-house development with Ur/Web and looking for support? Drop me a line!