Libraries and FFI bindings

From Impredicative Wiki
Revision as of 16:49, 12 January 2014 by Grwlf (Talk | contribs)

Jump to: navigation, search

Some libraries can be found on the ur main page (goto "Extendend Standard Library")



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

This repo contains development version of a library which makes it possible to start a process and notify the main program when it is completed. Currently the library requires the patched urweb.


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.

library playground

code which could be moved into the core library later. Contact MarcWeber using the github page to get push / commit access I would have liked to create a repository which is easier to get access to (eg by registering at github only) But I didn't find a way. I'm fine with creating a more neutral name such as later if several users start contributing. (I also tried gitorious - but got yet another "I'm sorry" error .. )

Persona authentication (a fork)

Monad pack

A must-have monad set, inspired by Haskell's MTL

Personal tools