❤
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.

Readme

Keywords

none

Package Sidebar

Install

npm i @pseuco/pseuco-promela-compiler

Weekly Downloads

6

Version

1.1.0

License

ISC

Unpacked Size

615 kB

Total Files

44

Last publish

Collaborators

  • sbiewer
  • fefrei
  • lenabecker
Try on RunKit
Report malware