Popular repositories Loading

1. fast-math fast-math Public

   Play fast and loose with IEEE-754 rewrite RULES

   Haskell 25 3

2. google-mail-filters google-mail-filters Public

   Write GMail filters and output to importable XML

   Haskell 13

3. qmk_firmware qmk_firmware Public

   Forked from qmk/qmk_firmware

   Open-source keyboard firmware for Atmel AVR and Arm USB families

   C 11 3

4. thesis thesis Public

   Compiling Concurrency Correctly—Verifying Software Transactional Memory

   TeX 4

5. stm-proof stm-proof Public

   Correctness proof of a log-based semantics for software transactional memory with respect to a stop-the-world semantics, using Agda.

   3

6. google-search google-search Public

   EDSL for Google and GMail search expressions

   Haskell 2