Skip to content
View havelund's full-sized avatar
28 followers · 7 following

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report havelund

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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 7 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