Skip to content
View eloipereira's full-sized avatar

Block or report eloipereira

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. Scala-BigActors Scala-BigActors Public

    Scala BigActors is an implementation of the BigActor Model as a Scala Domain-Specific Language.

    Scala 3 1

  2. scalabigraph scalabigraph Public

    Scala Bigraph is a Scala implementation of Robin Milner's Bigraph model

    Scala 2

  3. bigmc-gui bigmc-gui Public

    Forked from bigmc/bigmc-gui

    A simple GUI interface to the BigMC Bigraphical Model Checker

    Java 1 1

  4. ce290i-microservices ce290i-microservices Public

    Designing Microservices for Event-Driven Systems

    Python 1

  5. sensor-coverage sensor-coverage Public

    Java 1

  6. imp imp Public

    Java