avalor/eJason
eJason: a Framework for Distributed and Fault-tolerant Multi-Agent Systems
Public GitHub Catalog
Discovered Sep 24, 2026
avalor / mcerlang4eclipse
McErlang model checker tool's Eclipse integration
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#683317GitHub System ID
avalorOrganization / User
PublicVisibility
ActiveCatalog Status
More from avalor
avalor/protest-integration-lib
Common libraries of Protest's tools integration