Popular repositories Loading

1. Easy SMT solver interaction

   Rust 34 11

2. A compiler for a strongly typed, haskell-like functional language

   Haskell 22 4

3. Haskell irc library

   Haskell 20 6

4. A Haskell implementation of the OpenID 2.0 spec

   Haskell 19 6

5. Basic support for developing with the STM32F4 Discovery board

   C 12 17

6. Source location helpers

   Haskell 9 1