ANNOUNCE: Galois web libraries for Haskell released
dons at galois.com
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:
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
This library provides a validating parser and pretty printer for
converting between Haskell values and JSON.
A simple, lightweight XML parser/generator.
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.
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.
libcurl is a client-side URL transfer library, supporting FTP,
FTPS, HTTP, HTTPS, SCP, SFTP, TFTP, TELNET, DICT, LDAP, LDAPS
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.
Haskell binding to sqlite3 <http://sqlite.org/>, a light, fast
Interfacing with RSS (v 0.9x, 2.x, 1.0) and Atom feeds
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 hackage.haskell.org.
Galois <http://galois.com> 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:
More information about the Libraries