Built something? We create video reels & spotlights for GitHub projects.Promote your project →

Developer Profile

fcbr

Discovered public repositories for fcbr in the GitHub catalog.

↗

fcbr/mmt

Maude MSOS Tool (MMT) is an execution environment for Modular Structural Operational Semantics (MSOS) specifications that brings the power of analysis available in the Maude system to MSOS specifications.

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.

Promote your project