Pinned Loading

1. SynSAT SynSAT Public

   clause partitioning for analog core 3sat solvers

   C++

2. ElektraOS ElektraOS Public

   C++-based embedded software for low-noise 5V power supply

   C++

3. SDPeek SDPeek Public

   C++

4. TempoTimer TempoTimer Public

   A pre-race aid for swimmers

   Java