PinnedLoading

1. dimpledimplePublic

   A simple SAT solver written in Java

   Java 6

2. armorarmorPublic

   An STL-compatible header-only C++ container library

   C++

3. motOSmotOSPublic

   My attempt at writing an operating system

   C

4. resmioclientresmioclientPublic

   A Python client for Resmio's REST API

   Python 1

5. motif.plmotif.plPublic

   Discriminatively search for a motif of a given length using given nucleotide sequences

   Perl