Popular repositories Loading

1. dejavu dejavu Public

   The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.

   Scala 18 4

2. tracecontract tracecontract Public

   A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal logic.

   Scala 9

3. daut daut Public

   Monitoring framework in Scala.

   Scala 8 3

4. k k Public

   The K language

   JavaScript 6 2

5. logfire logfire Public

   A Scala DSL (API) for rule-based programming. Designed for monitoring event streams, such as for example log files. Implements a variation of the RETE algorithm.

   Scala 6

6. logscope logscope Public

   Monitoring framework in Python.

   Python 2 1