Skip to content
@pmc-tools

PMC Tools

Software, standards and infrastructure for probabilistic model checking (PMC) tools

Popular repositories Loading

  1. umb-observatory umb-observatory Public

    Python 1

  2. umbi umbi Public

    Python 1

  3. umb-website umb-website Public

    The website for the UMB format + UMBI (written in svelte with svelte-static-adapter)

    Svelte

  4. umb umb Public

  5. umb-spec umb-spec Public

    Documentation for the UMB (unified Markov binary) format

Repositories

Showing 5 of 5 repositories
  • umb-spec Public

    Documentation for the UMB (unified Markov binary) format

    pmc-tools/umb-spec’s past year of commit activity
    0 0 0 0 Updated Jan 23, 2026
  • umb Public
    pmc-tools/umb’s past year of commit activity
    0 0 0 0 Updated Jan 23, 2026
  • umb-website Public

    The website for the UMB format + UMBI (written in svelte with svelte-static-adapter)

    pmc-tools/umb-website’s past year of commit activity
    Svelte 0 0 0 0 Updated Jan 23, 2026
  • umbi Public
    pmc-tools/umbi’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Jan 23, 2026
  • umb-observatory Public
    pmc-tools/umb-observatory’s past year of commit activity
    Python 0 1 0 0 Updated Jan 21, 2026

Top languages

Loading…

Most used topics

Loading…