Pinned Loading

1. Huffman-Codes Huffman-Codes Public

   A C implementation of a Huffman compressor and decompressor

   C 1 1

2. Spell-Checker Spell-Checker Public

   Implementation of a spell checker, similar to ispell, in C

   C

3. MemCached MemCached Public

   Implementation of a concurrent memcache server in C

   C 1 1

4. Modal-Logic-Language Modal-Logic-Language Public

   A Domain Specific Language deep embedded in Haskell for modal logic frames specification and formulas evauation.

   Haskell 2