Pinned Loading

1. MoonLightSuite/moonlight MoonLightSuite/moonlight Public

   MoonLight: a light-weight framework for runtime monitoring.

   Java 14 3

2. webmonitor webmonitor Public

   A formal approach to monitoring web pages as spatio-temporal traces.

   Kotlin 3

3. topocity topocity Public

   Towards topological reasoning in smart cities environment. A putback BX framework from CityGML to Bigraphs. Powered by BiGUL.

   Haskell 2

4. decent-tools decent-tools Public

   A fork of decentmon and of its enforcer with some custom changes.

   OCaml

5. oihanagarciaa/GBL-IoTMonitoringSTREL oihanagarciaa/GBL-IoTMonitoringSTREL Public

   Java

6. fyblo/spid-cie-button fyblo/spid-cie-button Public

   Micro-library to add a SPID connection button to the website (still requires a SAML Relying Party)

   TypeScript 1