Libraries and FFI bindings

From Impredicative Wiki
Revision as of 09:28, 8 December 2010 by MarcWeber (Talk | contribs)

Jump to: navigation, search


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