Pinned Loading

1. wlogpy wlogpy Public

   Brings the magic of "without loss of generality" to Python programs.

   Python

2. BashFileList BashFileList Public

   A linked list in bash that uses files as nodes.

   Shell 5

3. JavaListPrefetcher JavaListPrefetcher Public

   Experimental javac plugin for List prefetching

   Java

4. GraphicalBezierEditor GraphicalBezierEditor Public

   A drag-and-drop vector graphics editor for Processing, written in Processing.

   Processing 1