Libraries and FFI bindings

From Impredicative Wiki
(Difference between revisions)
Jump to: navigation, search
(process: adding reference to ruby ffi bindings)
m (adding pointer to json sample implementation posted by Adam Chlipala on the mailinglist)

Revision as of 08:28, 8 December 2010

uw-process

This library let's you run arbitrary command lines. http://gitorious.org/some-urweb-utility-libraries/uw-process be aware that there is a chance that the process code is called multiple times because code generation is retried

uw-ruby

Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried. The test directory contains a usage example. Unfortunately you have to patch Ruby. http://gitorious.com/some-urweb-utility-libraries/uw-ruby

json sample library

Adam Chlipala was so kind providing this example how a JSON Ur library could look like. I hope he finds the time somewhen to publish a repository instead http://adam.chlipala.net/tmp/meta.tgz

Personal tools