Skip to content
@demiourgoi

demiourgoi

Popular repositories Loading

  1. flink-check flink-check Public

    ScalaCheck for Apache Flink

    Scala 10

  2. ROS_navfn_verification ROS_navfn_verification Public

    Maude integration and verification for ROS Nav 2

    Python 2

  3. sscheck sscheck Public

    ScalaCheck for Spark

    Scala 1

  4. sscheck-examples sscheck-examples Public

    examples using sscheck

    Scala

  5. sscheck-core sscheck-core Public

    Computing engine independent code for sscheck

    Scala 1

  6. demiourgoi.github.io demiourgoi.github.io Public

Repositories

Showing 8 of 8 repositories
  • jaeger-idl Public Forked from jaegertracing/jaeger-idl

    A set of shared data model definitions used by Jaeger components.

    demiourgoi/jaeger-idl’s past year of commit activity
    Go 0 Apache-2.0 89 0 0 Updated Feb 19, 2025
  • tempo Public Forked from grafana/tempo

    Grafana Tempo is a high volume, minimal dependency distributed tracing backend.

    demiourgoi/tempo’s past year of commit activity
    Go 0 AGPL-3.0 558 0 0 Updated Feb 3, 2025
  • sscheck-core Public

    Computing engine independent code for sscheck

    demiourgoi/sscheck-core’s past year of commit activity
    Scala 0 Apache-2.0 1 0 0 Updated Jan 27, 2025
  • ROS_navfn_verification Public

    Maude integration and verification for ROS Nav 2

    demiourgoi/ROS_navfn_verification’s past year of commit activity
    Python 2 0 0 0 Updated Sep 18, 2022
  • flink-check Public

    ScalaCheck for Apache Flink

    demiourgoi/flink-check’s past year of commit activity
    Scala 10 Apache-2.0 0 0 0 Updated Jan 21, 2020
  • demiourgoi.github.io Public
    demiourgoi/demiourgoi.github.io’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Aug 19, 2019
  • sscheck-examples Public

    examples using sscheck

    demiourgoi/sscheck-examples’s past year of commit activity
    Scala 0 Apache-2.0 0 0 0 Updated Nov 29, 2018
  • sscheck Public

    ScalaCheck for Spark

    demiourgoi/sscheck’s past year of commit activity
    Scala 1 Apache-2.0 0 0 0 Updated Apr 2, 2018

Top languages

Loading…

Most used topics

Loading…