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 09:28, 8 December 2010


This library let's you run arbitrary command lines. be aware that there is a chance that the process code is called multiple times because code generation is retried


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.

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

Personal tools