HOPENGL / XServer

Hello Misters,

As you are OpenGL experts, I am
 asking your help.

 I am attempting to build up a team.

 I believe it's time for a full-fledge verified OS.

The graphic part is essential nowadays.

If somebody is interested in functional programming and in formal methods to 
help to implement a xserver with HOpenGL and XHSB, he is welcome :)

XHSB ( X Haskell Bindings ) :

http://lists.freedesktop.org/archives/xcb/2006-January/001278.html

Here is an example of a protocol formalisation and a trusted GUI :

network stack :
http://www.cl.cam.ac.uk/~pes20/Netsem/

If you want to contact me, my mail is guillaume_dot_fortaine_at_wanadoo_dot_fr

I will set up a mailing-list, a web server, a wiki and an IRC

Best Regards,

                          Guillaume FORTAINE