sessionc/mpi-pabble-extractor
An application which can extract parameterised protocol from MPI C source code
Public GitHub Catalog
Discovered Sep 26, 2026
sessionc / libscribble
Parameterised Scribble protocol descripton language support library
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.
#6782278GitHub System ID
sessioncOrganization / User
PublicVisibility
ActiveCatalog Status
More from sessionc
sessionc/MPI-Type-checker
A program build as a clang plugin in order to enhance communication safety of MPI programs. This is performed by extracting the MPI primitives and the language constructs from a given source code. Following that a global protocol given to the program will be projected into local protocols. The type checker checks the conformance between the trees generated from the extractor and the trees representing their corresponding local protocols. If type checking is successful then the communication safety is preserved. Otherwise, the type checker will print the trees showing the errors found.
sessionc/sessc-typechecker
Session C typechecker
sessionc/sessc-mpi
Session C runtime in MPI