Libraries and FFI bindings

From Impredicative Wiki
Revision as of 17:34, 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")

Contents

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 github.com/urweb later if several users start contributing. (I also tried gitorious - but got yet another "I'm sorry" error .. )

http://github.com/MarcWeber/urweb-library

IO

uw-process

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

http://gitorious.org/some-urweb-utility-libraries/uw-process

urweb-callback

This library makes it possible to start a process and notify the main program when it is completed. Currently the library requires the patched urweb.

https://github.com/grwlf/urweb-callback

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.org/some-urweb-utility-libraries/uw-ruby

urweb-persona

Persona authentication

https://github.com/doublec/urweb-persona (original code)

https://github.com/grwlf/urweb-persona (a fork)

urweb-monad-pack

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

https://github.com/grwlf/urweb-monad-pack

Personal tools