Skip to content
@jpipe-mcscert

jPipe Language (McSCert)

Justification Models Made Easier!
README.md

Pinned Loading

  1. jpipe-compiler jpipe-compiler Public

    Justification diagrams made easier!

    Java 22 2

  2. jpipe-runner jpipe-runner Public

    A Justification Runner designed for jPipe.

    Python 4 1

  3. jpipe-vscode jpipe-vscode Public

    VS Code extension

    TypeScript 3

Repositories

Showing 10 of 10 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…