Skip to content
@RMLatDIBRIS

RML@DIBRIS

Popular repositories Loading

  1. compiler compiler Public

    Kotlin 2 1

  2. monitor monitor Public

    Prolog 1

  3. jalangi2 jalangi2 Public

    Forked from Samsung/jalangi2

    Dynamic analysis framework for JavaScript

    JavaScript 1

  4. instrumentation instrumentation Public

    JavaScript

  5. RMLatDIBRIS.github.io RMLatDIBRIS.github.io Public

    HTML

  6. ProbabilisticTraceExpressions ProbabilisticTraceExpressions Public

    Prolog

Repositories

Showing 7 of 7 repositories
  • instrumentation Public
    RMLatDIBRIS/instrumentation’s past year of commit activity
    JavaScript 0 MIT 0 0 1 Updated Dec 19, 2024
  • monitor Public
    RMLatDIBRIS/monitor’s past year of commit activity
    Prolog 1 MIT 0 0 0 Updated Sep 25, 2024
  • compiler Public
    RMLatDIBRIS/compiler’s past year of commit activity
    Kotlin 2 MIT 1 0 0 Updated Sep 12, 2024
  • running_examples Public

    Runnable examples of RML specifications with traces and Prolog files generated by the compiler

    RMLatDIBRIS/running_examples’s past year of commit activity
    Prolog 0 0 0 0 Updated Sep 2, 2024
  • RMLatDIBRIS.github.io Public
    RMLatDIBRIS/RMLatDIBRIS.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Aug 21, 2024
  • jalangi2 Public Forked from Samsung/jalangi2

    Dynamic analysis framework for JavaScript

    RMLatDIBRIS/jalangi2’s past year of commit activity
    JavaScript 1 Apache-2.0 127 0 0 Updated Jun 26, 2020
  • ProbabilisticTraceExpressions Public
    RMLatDIBRIS/ProbabilisticTraceExpressions’s past year of commit activity
    Prolog 0 GPL-3.0 0 0 0 Updated Feb 7, 2020

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…