Beast code in Giters

Galois, Inc.'s repositories

Example Cryptol specifications

500

Extensible UI Analysis in your browser

Language:JavaScriptNOASSERTION2900

Template Haskell functions to easily create exception hierarchies

Language:HaskellApache-2.0100

Language:C++800

Language:Java000

Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE

Language:CGPL-3.01400

A library for making secure connections between servers.

Language:HaskellBSD-3-Clause300

My development repo for work on FLINT (Fast Library for Number Theory)

Language:C300

Haskell modules for generating SpreadsheetML (Excel files)

Language:HaskellBSD-3-Clause700

A Haskell library to interact with the 'delicious' web-service.

Language:HaskellNOASSERTION100

A Haskell library for working with feeds.

Language:HaskellNOASSERTION300

A (Haskell DSL) stream language for generating hard real-time C code.

Language:HaskellNOASSERTION400