Pinned Loading

1. TiarkRompf/scala-escape TiarkRompf/scala-escape Public

   A compiler plug-in to control object lifetimes in Scala

   Coq 63 5

2. jpgsync jpgsync Public

   Fast two-way sync of camera-captured JPEG images

   C++

3. scalaviews scalaviews Public

   Flexible Data Views w/ dynamic specialization

   Scala

4. cppviews cppviews Public

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

   C

5. pkmin pkmin Public

   PGP Private Key MINifier (secure backup)

   Python 3

6. ksp ksp Public

   K-th Shortest Path C++ Library

   C++ 4 2