ANNOUNCE: Galois web libraries for Haskell released

Don Stewart dons at
Mon Apr 21 14:11:19 EDT 2008

Galois, Inc. is pleased to announce the open source release of a suite of
web programming libraries for Haskell!

The following libraries are available, providing support for a
wide range of Haskell web programming scenarios:

  * json
        JSON (JavaScript Object Notation) is a lightweight data-interchange
        format. It is easy for humans to read and write. It is easy for
        machines to parse and generate.  It is based on a subset of the
        JavaScript Programming Language, Standard ECMA-262 3rd Edition -
        December 1999.

        This library provides a validating parser and pretty printer for
        converting between Haskell values and JSON.

  * xml
        A simple, lightweight XML parser/generator.

  * utf8-string
        A UTF8 layer for IO and Strings. The utf8-string
        package provides operations for encoding UTF8
        strings to Word8 lists and back, and for reading and
        writing UTF8 without truncation.        
  * selenium
        Haskell bindings to communicate with a Selenium Remote
        Control server. This package makes it possible to use
        Haskell to write test scripts that exercise web
        applications through a web browser.

  * curl
        libcurl is a client-side URL transfer library, supporting FTP,
        and FILE.  libcurl supports SSL certificates, HTTP POST, HTTP
        PUT, FTP uploading, HTTP form based upload, proxies, cookies,
        user+password authentication (Basic, Digest, NTLM, Negotiate,
        Kerberos4), file transfer resume, http proxy tunneling and more!

        This package provides a Haskell binding to libcurl.

  * sqlite
        Haskell binding to sqlite3 <>, a light, fast

  * feed
        Interfacing with RSS (v 0.9x, 2.x, 1.0) and Atom feeds

  * mime
        Haskell support for working with MIME types.

Together these fill in a big chunk of the web programming stack for Haskell.

Get the code!  You can find all the cabalised packages on


Galois <> researches, designs and develops high
assurance technologies for security-critical systems, networks and
applications. We use Haskell as a primary development tool for producing
robust components for a diverse range of clients.

Web-based technologies are increasingly important in this area, and we
believe Haskell has a key role to play in the production of reliable,
secure web software. The culture of correctness Haskell encourages is
ideally suited to web programming, where issues of security,
authentication, privacy and protection of resources abound.  In
particular, Haskell's type system makes possible strong static
guarantees about access to resources, critical to building reliable web
applications. We hope that the release of this suite of libraries to the
community will push further the adoption of Haskell in the domain of web
This release brought to you by:

    Iavor Diatchki
    Trevor Elliott
    Sigbjorn Finne
    Andy Gill
    Eric Mertens
    Isaac Potoczny-Jones
    Don Stewart
    Aaron Tomb

More information about the Libraries mailing list