Klaus Havelund (@havelund)
github

havelund

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    46
  • Global Rank 361,753 (Top 13 %)
  • Followers 27
  • Following 7
  • Registered about 11 years ago
  • Most used languages
    Scala
         66.7 %
    Python
         16.7 %
    JavaScript
         16.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 70,252
  • Country Ranking
    Scala
         572

Top repositories

1

dejavu

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

tracecontract

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

daut

Monitoring framework in Scala.
Scala
6
star
4

logfire

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

k

The K language
JavaScript
4
star
6

logscope

Monitoring framework in Python.
Python
1
star