❤
npm
Sign UpSign In

@pseuco/pseuco-promela-compiler
TypeScript icon, indicating that this package has built-in type declarations

1.1.0 • Public • Published

pseuCo-Promela-Compiler

This is a compiler from pseuCo to Promela, the modelling language of Spin.

/@pseuco/pseuco-promela-compiler/

    Package Sidebar

    Install

    npm i @pseuco/pseuco-promela-compiler

    Weekly Downloads

    3

    Version

    1.1.0

    License

    ISC

    Unpacked Size

    615 kB

    Total Files

    44

    Last publish

    Collaborators

    • sbiewer
    • fefrei
    • lenabecker
    Try on RunKit
    Report malware