https://github.com/calvin-l/ezpsl

The easy parallel algorithm specification language
https://github.com/calvin-l/ezpsl

concurrency language model-checking

Last synced: 2 months ago
JSON representation

The easy parallel algorithm specification language

• Host: GitHub
• URL: https://github.com/calvin-l/ezpsl
• Owner: Calvin-L
• License: mit
• Created: 2020-01-12T22:22:09.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2022-04-03T06:09:40.000Z (over 2 years ago)
• Last Synced: 2024-04-23T02:10:45.642Z (8 months ago)
• Topics: concurrency, language, model-checking
• Language: Haskell
• Size: 340 KB
• Stars: 4
• Watchers: 4
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project