https://github.com/arranstewart-dev/alloy-analyser-gitpod

Alloy analyser running in gitpod.io
https://github.com/arranstewart-dev/alloy-analyser-gitpod

alloy-analyzer formal-methods modeling-language

Last synced: 3 months ago
JSON representation

Alloy analyser running in gitpod.io

• Host: GitHub
• URL: https://github.com/arranstewart-dev/alloy-analyser-gitpod
• Owner: arranstewart-dev
• Created: 2022-05-14T12:46:11.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2022-05-14T17:23:47.000Z (over 2 years ago)
• Last Synced: 2024-07-29T16:49:36.992Z (6 months ago)
• Topics: alloy-analyzer, formal-methods, modeling-language
• Language: Python
• Homepage:
• Size: 7.81 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project