Pinned Loading

1. open-s4c/libvsync open-s4c/libvsync Public

   A verified library of synchronization primitives and concurrent data structures

   C 38 13

2. open-s4c/vsyncer open-s4c/vsyncer Public

   Verification and optimization tool for concurrent code

   Go 25 7

3. lovoo/goka lovoo/goka Public

   Goka is a compact yet powerful distributed stream processing library for Apache Kafka written in Go.

   Go 2.5k 180

4. open-s4c/dice open-s4c/dice Public

   A lightweight, extensible framework for capturing execution events of multithreaded programs

   C 2 5