Popular repositories

1. Twitter-Flink Public

   Forked from vaquarkhan/Twitter-Flink

   A simple Twitter-Streaming Application for Apache Flink

   Scala 2

2. tressa Public

   Forked from miraleung/tressa

   Asserts management for C

   Python

3. socstream Public

   Forked from braineering/socstream

   Real-time visual analytics for soccer matches, leveraging Apache Flink, Apache Kafka and the Elastic stack. Solution to DEBS 2013 Grand Challenge. Coursework in Systems and Architectures for Big Da…

   Java

4. sedge Public

   Forked from kaituo/sedge

   A dynamic symbolic execution system, that generates test cases to exercise the key behavior of the operators that comprise a data flow program.

   Java

5. symexbib Public

   Forked from saswatanand/symexbib

   A bibliography of papers related to symbolic execution

6. bahuasheng Public

   HTML