Open Source

The open source culture, much like Galois’ own organizational model, thrives in the power of collaboration. We benefit from advances made in the open source community and strive to continually give back, making many of our software developments freely available to others. Our involvement can be seen in our contributions to the Haskell development community and in the projects files available here on our site.

Project	Description
curl	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!
feed	Interfacing with RSS (v 0.9x, 2.x, 1.0) and Atom feeds.
halfs	Halfs is a filesystem implemented in the functional programming language Haskell. Halfs can be mounted and used like any other Linux filesystem, or used as a library. Halfs is a fork (and a port) of the filesystem developed by Galois Connections.
ismt	The ismt package allows Isabelle to invoke SRI Inc.’s Yices SMT solver to automatically prove or refute formulas written in the subset of higher order logic that Yices understands. When Yices refutes a formula, the ismt package can also convert the Yices-produced counterexample back into a higher order logic formula.
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.
mime	Haskell support for working with MIME types.
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.
sqlite	Haskell binding to sqlite3 , a light, fast database.
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.
xml	A simple, lightweight XML parser/generator.

Open Source
People
Careers
History