Pinned Loading

1. A compiler plug-in to control object lifetimes in Scala

   Coq 65 4

2. Fast two-way sync of camera-captured JPEG images

   C++

3. Flexible Data Views w/ dynamic specialization

   Scala

4. Flexible Data Views w/ static specialization (C++)

   C

5. PGP Private Key MINifier (secure backup)

   Python 4

6. K-th Shortest Path C++ Library

   C++ 4 2