Popular repositories Loading

1. easy-smt easy-smt Public

   Easy SMT solver interaction

   Rust 35 9

2. dang dang Public

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

   Haskell 22 4

3. hsirc hsirc Public

   Haskell irc library

   Haskell 20 6

4. hsopenid hsopenid Public

   A Haskell implementation of the OpenID 2.0 spec

   Haskell 19 6

5. stm32f4 stm32f4 Public

   Basic support for developing with the STM32F4 Discovery board

   C 12 17

6. located located Public

   Source location helpers

   Haskell 9 1