http://www.impredicative.com/wiki/api.php?action=feedcontributions&user=Grwlf&feedformat=atomImpredicative Wiki - User contributions [en]2024-03-29T14:06:36ZUser contributionsMediaWiki 1.19.20+dfsg-2.3http://www.impredicative.com/wiki/index.php/UrUr2016-11-19T08:35:15Z<p>Grwlf: /* Tools */</p>
<hr />
<div>=== Official resources ===<br />
* [http://www.impredicative.com/ur/ Project web site]<br />
* [http://www.impredicative.com/ur/demo/ Official demo]<br />
* [http://www.impredicative.com/ur/manual.pdf Official manual]<br />
* [http://www.impredicative.com/pipermail/ur/ Mailing list archives]<br />
* [[Contributing to this wiki]]<br />
<br />
=== Ur/Web ===<br />
* [[Ur FAQ|Ur FAQ]]<br />
* [[Ur Performance Comparisons|Performance Comparisons]]<br />
* [[Comparison tables]]<br />
* [[Companies supporting the urweb language]]<br />
* [[Won't fix]]<br />
* [[Compiler contributions procedure]]<br />
<br />
=== Code Samples ===<br />
* [[Ur Rosetta Stone|Rosetta Stone]] - currently lists rough translations between certain functions from the Ur/Web standard library and functions from the Haskell platform. Designed to aid understanding, rather than to be rigorous!<br />
* [[Best practices]]<br />
* [[Code Samples]]<br />
* [[Impredicativity in Ur/Web]]<br />
* [[Ur C FFI Example|C FFI Example]]<br />
* [[Pitfalls - things which can go wrong]]<br />
* [[Expressing subrecord constraints]]<br />
<br />
=== Development ===<br />
* [[Libraries and FFI bindings]]<br />
* [[Ur-based Projects]]<br />
<br />
=== Tools ===<br />
* [http://github.com/MarcWeber/vim-addon-urweb Minimal Vim support]<br />
* [https://github.com/grwlf/urxml Vim-compattible XML formatter]<br />
* [https://github.com/grwlf/urweb-build Nix-based build system supporting modular design ]</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2016-11-19T08:31:13Z<p>Grwlf: Fix demo urls, update description for urweb-callback</p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
This library makes it possible to start a process and notify the main program when it is completed.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
=== UTF-8 ===<br />
https://github.com/grwlf/urweb-utf8<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Web ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A binding to famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru3<br />
<br />
An easy way to include JavaScript/CSS library into an Ur/Web project. Includes support for JQuery, Bootstrap, Persona. [http://sthdwp.com/B1/main Demo1]. [http://sthdwp.com/B2/main Demo 2].<br />
<br />
=== Captcha ===<br />
https://github.com/grwlf/urweb-captcha<br />
<br />
Wrapper for the [http://brokestream.com/captcha.html CAPTCHA] library<br />
<br />
== Others ==<br />
<br />
=== urweb-monad-pack ===<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
Collection of monads inspired by Haskell's MTL<br />
<br />
=== urweb-prelude ===<br />
https://github.com/grwlf/urweb-prelude<br />
<br />
Collection of simple functions, inspired by Haskell's Prelude library<br />
<br />
=== uw-ruby ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.<br />
<br />
=== urweb-aatree ===<br />
https://github.com/griba2001/urweb-aatree<br />
<br />
SortedSet, SortedMap, HashSet and HashMap based on [https://en.wikipedia.org/wiki/AA_tree Arne Anderson trees (AATrees)].<br />
<br />
(Hashable class borrowed from Haskell's Data.Hashable)<br />
<br />
=== urweb-xmlw ===<br />
https://github.com/grwlf/urweb-xmlw<br />
<br />
A kind of Writer monad accumulating XML to be served to clients<br />
<br />
=== urweb-dequeue ===<br />
<br />
https://github.com/griba2001/urweb-dequeue<br />
<br />
A split list implementation of a [https://en.wikipedia.org/wiki/Priority_queue double ended queue]<br />
<br />
=== urweb-pairing-heap ===<br />
<br />
https://github.com/griba2001/urweb-pairing-heap<br />
<br />
A [https://en.wikipedia.org/wiki/Pairing_heap pairing heap] implementation of a [https://en.wikipedia.org/wiki/Priority_queue priority queue]</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2015-06-20T18:32:46Z<p>Grwlf: /* Styling */</p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
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.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
=== UTF-8 ===<br />
https://github.com/grwlf/urweb-utf8<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Web ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A binding to famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru3<br />
<br />
An easy way to include JavaScript/CSS library into an Ur/Web project. Includes support for JQuery, Bootstrap, Persona. [http://hit.msk.ru/B1/main Demo1]. [http://hit.msk.ru/B2/main Demo 2].<br />
<br />
=== Captcha ===<br />
https://github.com/grwlf/urweb-captcha<br />
<br />
Wrapper for the [http://brokestream.com/captcha.html CAPTCHA] library<br />
<br />
== Others ==<br />
<br />
=== urweb-monad-pack ===<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
Collection of monads inspired by Haskell's MTL<br />
<br />
=== urweb-prelude ===<br />
https://github.com/grwlf/urweb-prelude<br />
<br />
Collection of simple functions, inspired by Haskell's Prelude library<br />
<br />
=== uw-ruby ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.<br />
<br />
=== urweb-aatree ===<br />
https://github.com/griba2001/urweb-aatree<br />
<br />
SortedSet, SortedMap, HashSet and HashMap based on [https://en.wikipedia.org/wiki/AA_tree Arne Anderson trees (AATrees)].<br />
<br />
(Hashable class borrowed from Haskell's Data.Hashable)<br />
<br />
=== urweb-xmlw ===<br />
https://github.com/grwlf/urweb-xmlw<br />
<br />
A kind of Writer monad accumulating XML to be served to clients</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2015-02-02T21:49:25Z<p>Grwlf: /* urweb-xmlw */</p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
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.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
=== UTF-8 ===<br />
https://github.com/grwlf/urweb-utf8<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Styling ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A binding to famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru3<br />
<br />
An easy way to include JavaScript/CSS library into an Ur/Web project. Includes support for JQuery, Bootstrap, Persona. [http://hit.msk.ru/B1/main Demo1]. [http://hit.msk.ru/B2/main Demo 2].<br />
<br />
== Others ==<br />
<br />
=== urweb-monad-pack ===<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
Collection of monads inspired by Haskell's MTL<br />
<br />
=== urweb-prelude ===<br />
https://github.com/grwlf/urweb-prelude<br />
<br />
Collection of simple functions, inspired by Haskell's Prelude library<br />
<br />
=== uw-ruby ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.<br />
<br />
=== urweb-aatree ===<br />
https://github.com/griba2001/urweb-aatree<br />
<br />
SortedSet and SortedMap based on [https://en.wikipedia.org/wiki/AA_tree Arne Anderson trees (AATrees)].<br />
<br />
=== urweb-xmlw ===<br />
https://github.com/grwlf/urweb-xmlw<br />
<br />
A kind of Writer monad accumulating XML to be served to clients</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2015-01-30T20:00:48Z<p>Grwlf: Add link to urweb-xmlw</p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
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.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
=== UTF-8 ===<br />
https://github.com/grwlf/urweb-utf8<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Styling ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A binding to famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru3<br />
<br />
An easy way to include JavaScript/CSS library into an Ur/Web project. Includes support for JQuery, Bootstrap, Persona. [http://hit.msk.ru/B1/main Demo1]. [http://hit.msk.ru/B2/main Demo 2].<br />
<br />
== Others ==<br />
<br />
=== urweb-monad-pack ===<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
Collection of monads inspired by Haskell's MTL<br />
<br />
=== urweb-prelude ===<br />
https://github.com/grwlf/urweb-prelude<br />
<br />
Collection of simple functions, inspired by Haskell's Prelude library<br />
<br />
=== uw-ruby ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.<br />
<br />
=== urweb-aatree ===<br />
https://github.com/griba2001/urweb-aatree<br />
<br />
SortedSet and SortedMap based on [https://en.wikipedia.org/wiki/AA_tree Arne Anderson trees (AATrees)].<br />
<br />
The test task includes a random generator of integer lists.<br />
<br />
=== urweb-xmlw ===<br />
https://github.com/grwlf/urweb-xmlw<br />
<br />
A version of Writer monad for producing XML as a result of transactional actions.</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2014-12-10T07:26:53Z<p>Grwlf: /* System */</p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
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.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
=== UTF-8 ===<br />
https://github.com/grwlf/urweb-utf8<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Styling ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A binding to famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru3<br />
<br />
An easy way to include JavaScript/CSS library into an Ur/Web project. Includes support for JQuery, Bootstrap, Persona. [http://hit.msk.ru/B1/main Demo1]. [http://hit.msk.ru/B2/main Demo 2].<br />
<br />
== Others ==<br />
<br />
=== urweb-monad-pack ===<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
Collection of monads inspired by Haskell's MTL<br />
<br />
=== urweb-prelude ===<br />
https://github.com/grwlf/urweb-prelude<br />
<br />
Collection of simple functions, inspired by Haskell's Prelude library<br />
<br />
=== uw-ruby ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2014-11-14T14:26:15Z<p>Grwlf: </p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
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.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Styling ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A binding to famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru3<br />
<br />
An easy way to include JavaScript/CSS library into an Ur/Web project. Includes support for JQuery, Bootstrap, Persona. [http://hit.msk.ru/B1/main Demo1]. [http://hit.msk.ru/B2/main Demo 2].<br />
<br />
== Others ==<br />
<br />
=== urweb-monad-pack ===<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
Collection of monads inspired by Haskell's MTL<br />
<br />
=== urweb-prelude ===<br />
https://github.com/grwlf/urweb-prelude<br />
<br />
Collection of simple functions, inspired by Haskell's Prelude library<br />
<br />
=== uw-ruby ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2014-10-18T05:55:33Z<p>Grwlf: /* Uru */</p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
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.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Styling ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A binding to famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru3<br />
<br />
An easy way to include JavaScript/CSS library into an Ur/Web project. Includes support for JQuery, Bootstrap, Persona. [http://hit.msk.ru/B1/main Demo1]. [http://hit.msk.ru/B2/main Demo 2].<br />
<br />
== urweb-monad-pack ==<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
A must-have monad pack, inspired by Haskell's MTL<br />
<br />
== uw-ruby ==<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2014-10-18T05:53:49Z<p>Grwlf: /* Bootstrap */</p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
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.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Styling ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A binding to famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru3<br />
<br />
An easy way to include JavaScript/CSS library into an Ur/Web project. Includes support for JQuery, Bootstrap, Personna. [http://hit.msk.ru/B1/main Demo1]. [http://hit.msk.ru/B2/main Demo 2].<br />
<br />
== urweb-monad-pack ==<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
A must-have monad pack, inspired by Haskell's MTL<br />
<br />
== uw-ruby ==<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2014-10-18T05:53:26Z<p>Grwlf: /* Uru */</p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
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.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Styling ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru3<br />
<br />
An easy way to include JavaScript/CSS library into an Ur/Web project. Includes support for JQuery, Bootstrap, Personna. [http://hit.msk.ru/B1/main Demo1]. [http://hit.msk.ru/B2/main Demo 2].<br />
<br />
== urweb-monad-pack ==<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
A must-have monad pack, inspired by Haskell's MTL<br />
<br />
== uw-ruby ==<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2014-10-18T05:53:03Z<p>Grwlf: /* Uru */</p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
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.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Styling ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru3<br />
<br />
An easy way to include Java Script /CSS library into an Ur/Web project. Includes support for JQuery, Bootstrap, Personna. [http://hit.msk.ru/B1/main Demo1]. [http://hit.msk.ru/B2/main Demo 2].<br />
<br />
== urweb-monad-pack ==<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
A must-have monad pack, inspired by Haskell's MTL<br />
<br />
== uw-ruby ==<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.</div>Grwlfhttp://www.impredicative.com/wiki/index.php/UrUr2014-01-12T21:54:56Z<p>Grwlf: </p>
<hr />
<div>=== Official resources ===<br />
* [http://www.impredicative.com/ur/ Project web site]<br />
* [http://www.impredicative.com/ur/demo/ Official demo]<br />
* [http://www.impredicative.com/ur/manual.pdf Official manual]<br />
* [http://www.impredicative.com/pipermail/ur/ Mailing list archives]<br />
* [[Contributing to this wiki]]<br />
<br />
=== Ur/Web ===<br />
* [[Ur FAQ|Ur FAQ]]<br />
* [[Ur Performance Comparisons|Performance Comparisons]]<br />
* [[Comparison tables]]<br />
* [[Companies supporting the urweb language]]<br />
* [[Won't fix]]<br />
<br />
=== Code Samples ===<br />
* [[Ur Rosetta Stone|Rosetta Stone]] - currently lists rough translations between certain functions from the Ur/Web standard library and functions from the Haskell platform. Designed to aid understanding, rather than to be rigorous!<br />
* [[Best practices]]<br />
* [[Code Samples]]<br />
* [[Impredicativity in Ur/Web]]<br />
* [[Ur C FFI Example|C FFI Example]]<br />
* [[Pitfalls - things which can go wrong]]<br />
* [[Expressing subrecord constraints]]<br />
<br />
=== Development ===<br />
* [[Libraries and FFI bindings]]<br />
* [[Ur-based Projects]]<br />
<br />
=== Tools ===<br />
* [http://github.com/MarcWeber/vim-addon-urweb Minimal Vim support]<br />
* [https://github.com/grwlf/urxml Vim-compattible XML formatter]<br />
* [https://github.com/grwlf/cake3 Makefile generator supporting Ur/Web projects (in Haskell)]</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2014-01-12T21:51:02Z<p>Grwlf: </p>
<hr />
<div>== Official ==<br />
Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== Library playground ==<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== System ==<br />
=== uw-process ===<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
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<br />
<br />
=== urweb-callback ===<br />
https://github.com/grwlf/urweb-callback<br />
<br />
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.<br />
<br />
=== E-mail ===<br />
http://hg.impredicative.com/email (Official library)<br />
<br />
== Authentication ==<br />
=== urweb-persona ===<br />
https://github.com/doublec/urweb-persona <br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
=== openid ===<br />
http://hg.impredicative.com/openid<br />
<br />
== Styling ==<br />
=== Bootstrap ===<br />
http://hg.impredicative.com/bootstrap (Official library)<br />
<br />
A famous CSS engine<br />
<br />
=== Uru ===<br />
https://github.com/grwlf/uru<br />
<br />
Random collection of JQuery widgets<br />
<br />
== urweb-monad-pack ==<br />
https://github.com/grwlf/urweb-monad-pack<br />
<br />
A must-have monad pack, inspired by Haskell's MTL<br />
<br />
== uw-ruby ==<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2014-01-12T21:34:08Z<p>Grwlf: </p>
<hr />
<div>Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== library playground ==<br />
Code which could be moved into the core library later.<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
http://github.com/MarcWeber/urweb-library<br />
<br />
== IO ==<br />
=== uw-process ===<br />
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<br />
<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
<br />
=== urweb-callback ===<br />
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.<br />
<br />
https://github.com/grwlf/urweb-callback<br />
<br />
== uw-ruby ==<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.<br />
<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
== urweb-persona ==<br />
Persona authentication<br />
<br />
https://github.com/doublec/urweb-persona (original code)<br />
<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
== urweb-monad-pack ==<br />
A must-have monad pack, inspired by Haskell's MTL<br />
<br />
https://github.com/grwlf/urweb-monad-pack</div>Grwlfhttp://www.impredicative.com/wiki/index.php/UrUr2014-01-12T21:23:03Z<p>Grwlf: Split the links into categories</p>
<hr />
<div>=== Official resources ===<br />
* [http://www.impredicative.com/ur/ Project web site]<br />
* [http://www.impredicative.com/ur/demo/ Official demo]<br />
* [http://www.impredicative.com/ur/manual.pdf Official manual]<br />
* [[Contributing to this wiki]]<br />
<br />
=== Ur/Web ===<br />
* [[Ur FAQ|Ur FAQ]]<br />
* [[Ur Performance Comparisons|Performance Comparisons]]<br />
* [[Comparison tables]]<br />
* [[Companies supporting the urweb language]]<br />
* [[Won't fix]]<br />
<br />
=== Code Samples ===<br />
* [[Ur Rosetta Stone|Rosetta Stone]] - currently lists rough translations between certain functions from the Ur/Web standard library and functions from the Haskell platform. Designed to aid understanding, rather than to be rigorous!<br />
* [[Best practices]]<br />
* [[Code Samples]]<br />
* [[Impredicativity in Ur/Web]]<br />
* [[Ur C FFI Example|C FFI Example]]<br />
* [[Pitfalls - things which can go wrong]]<br />
* [[Expressing subrecord constraints]]<br />
<br />
=== Development ===<br />
* [[Libraries and FFI bindings]]<br />
* [[Ur-based Projects]]<br />
<br />
=== Tools ===<br />
* [http://github.com/MarcWeber/vim-addon-urweb Minimal Vim support]<br />
* [https://github.com/grwlf/urxml Vim-compattible XML formatter]<br />
* [https://github.com/grwlf/cake3 Makefile generator supporting Ur/Web projects (in Haskell)]</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Companies_supporting_the_urweb_languageCompanies supporting the urweb language2014-01-12T21:09:32Z<p>Grwlf: /* list of companies or freelancers who are interested in supporting urweb based applications */</p>
<hr />
<div>Companies don't want lock ins. So its important for them that they don't have a single point of failure.<br />
Using PHP they know that they can get support easily. So if you do or want to support urweb soon list yourself here<br />
so that customers see that they can get support easily from various providers easily.<br />
<br />
So if you're interested in supporting urweb based applications professionally add yourself here and point your potential customers to this page.<br />
<br />
== list of companies or freelancers who are interested in supporting urweb based applications ==<br />
<br />
Dcidor (freelance programming)<br />
www: http://www.dcidor.com (also built using Ur/Web)<br />
Contact: use the form on the website<br />
Location: Woerden, The Netherlands <br />
<br />
Austin Seipp (freelance programming)<br />
email: as@hacks.yi.org<br />
United States<br />
<br />
Marc Weber (web based applications & general programming)<br />
Im Tannhörne 4/1<br />
78052 Villingen-Schwenningen<br />
email: marco-oweber@gmx.de<br />
Germany<br />
<br />
Karn Kallio ( freelance programming ) <br />
Casa 94-51<br />
Calle Sirio Entre Av. Ártico y Av. Antártico<br />
Trigal Norte, Valencia<br />
2001 Carabobo<br />
Venezuela<br />
email: tierpluspluslists@gmail.com<br />
<br />
Sergey Mironov (freelance programming)<br />
email: grrwlf@gmail.com<br />
Location: Moscow, Russia<br />
(2014-01-13)<br />
<br />
== validated last ==<br />
Someone should step up and contact all addresses to see that they are still valid every couple of month.<br />
If you did so paste the last date here.</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Companies_supporting_the_urweb_languageCompanies supporting the urweb language2014-01-12T21:06:50Z<p>Grwlf: /* list of companies or freelancers who are interested in supporting urweb based applications */</p>
<hr />
<div>Companies don't want lock ins. So its important for them that they don't have a single point of failure.<br />
Using PHP they know that they can get support easily. So if you do or want to support urweb soon list yourself here<br />
so that customers see that they can get support easily from various providers easily.<br />
<br />
So if you're interested in supporting urweb based applications professionally add yourself here and point your potential customers to this page.<br />
<br />
== list of companies or freelancers who are interested in supporting urweb based applications ==<br />
<br />
Dcidor (freelance programming)<br />
www: http://www.dcidor.com (also built using Ur/Web)<br />
Contact: use the form on the website<br />
Location: Woerden, The Netherlands <br />
<br />
Austin Seipp (freelance programming)<br />
email: as@hacks.yi.org<br />
United States<br />
<br />
Marc Weber (web based applications & general programming)<br />
Im Tannhörne 4/1<br />
78052 Villingen-Schwenningen<br />
email: marco-oweber@gmx.de<br />
Germany<br />
<br />
Karn Kallio ( freelance programming ) <br />
Casa 94-51<br />
Calle Sirio Entre Av. Ártico y Av. Antártico<br />
Trigal Norte, Valencia<br />
2001 Carabobo<br />
Venezuela<br />
email: tierpluspluslists@gmail.com<br />
<br />
Sergey Mironov (freelance programming)<br />
email: grrwlf@gmail.com<br />
Location: Moscow, Russia<br />
<br />
== validated last ==<br />
Someone should step up and contact all addresses to see that they are still valid every couple of month.<br />
If you did so paste the last date here.</div>Grwlfhttp://www.impredicative.com/wiki/index.php/UrUr2014-01-12T20:52:33Z<p>Grwlf: </p>
<hr />
<div>[http://www.impredicative.com/ur/ Project web site]<br />
<br />
=== Topics ===<br />
* [[contributing to this wiki]]<br />
<br />
* [[Ur Performance Comparisons|Performance Comparisons]]<br />
* [[Comparison tables]]<br />
* [[Ur FAQ|Ur FAQ]]<br />
* [[Ur Rosetta Stone|Rosetta Stone]] - currently lists rough translations between certain functions from the Ur/Web standard library and functions from the Haskell platform. Designed to aid understanding, rather than to be rigorous!<br />
* [http://github.com/MarcWeber/vim-addon-urweb minimal Vim support]<br />
* [[companies supporting the urweb language]]<br />
* [[Impredicativity in Ur/Web]]<br />
* [[Expressing subrecord constraints]]<br />
* [[Code Samples]]<br />
* [[Won't fix]]<br />
* [[best practices]]<br />
* [[pitfalls - things which can go wrong]]<br />
<br />
=== Development ===<br />
* [[Ur C FFI Example|C FFI Example]]<br />
* [[Libraries and FFI bindings]]<br />
* [[Ur-based Projects]]</div>Grwlfhttp://www.impredicative.com/wiki/index.php/Libraries_and_FFI_bindingsLibraries and FFI bindings2014-01-12T20:49:58Z<p>Grwlf: </p>
<hr />
<div>Some libraries can be found on the [http://impredicative.com/ur ur main page] (goto "Extendend Standard Library")<br />
<br />
== uw-process ==<br />
This library let's you run arbitrary command lines.<br />
http://gitorious.org/some-urweb-utility-libraries/uw-process<br />
be aware that there is a chance that the process is run multiple times because code generation is retried<br />
<br />
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.<br />
https://github.com/grwlf/urweb-callback<br />
<br />
== uw-ruby ==<br />
Ruby bindings for Ur. The main purpose is writing cached HTTP queries - because some HTTP requests should never be retried.<br />
The test directory contains a usage example. Unfortunately you have to patch Ruby.<br />
http://gitorious.org/some-urweb-utility-libraries/uw-ruby<br />
<br />
== library playground ==<br />
code which could be moved into the core library later.<br />
http://github.com/MarcWeber/urweb-library<br />
Contact MarcWeber using the github page to get push / commit access<br />
I would have liked to create a repository which is easier to get access to (eg by registering at github only)<br />
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 .. )<br />
<br />
== Persona authentication ==<br />
https://github.com/doublec/urweb-persona<br />
https://github.com/grwlf/urweb-persona (a fork)<br />
<br />
== Monad pack ==<br />
A must-have monad set, inspired by Haskell's MTL<br />
https://github.com/grwlf/urweb-monad-pack</div>Grwlf