Popular repositories Loading

1. DRUID DRUID Public

   Forked from bluddy/DRUID

   Framework for dynamic functional reactive GUIs

   Haskell

2. haskell-style-guide haskell-style-guide Public

   Forked from tibbe/haskell-style-guide

   A style guide for Haskell code.

   Emacs Lisp

3. Redis-Modified Redis-Modified Public

   C 1

4. brick brick Public

   Forked from jtdaugherty/brick

   A declarative Unix terminal UI programming library written in Haskell

   Haskell

5. matterhorn matterhorn Public

   Forked from matterhorn-chat/matterhorn

   A feature-rich Unix terminal client for the Mattermost chat system

   Haskell

6. saw-demos saw-demos Public

   Forked from GaloisInc/saw-demos

   SAW verification demonstrations

   Shell