https://github.com/rems-project/sail

Sail architecture definition language
https://github.com/rems-project/sail

Last synced: 4 days ago
JSON representation

Sail architecture definition language

• Host: GitHub
• URL: https://github.com/rems-project/sail
• Owner: rems-project
• License: other
• Created: 2018-01-31T15:33:54.000Z (almost 7 years ago)
• Default Branch: sail2
• Last Pushed: 2024-10-29T11:15:13.000Z (13 days ago)
• Last Synced: 2024-10-29T11:47:28.969Z (13 days ago)
• Language: Isabelle
• Size: 51.5 MB
• Stars: 610
• Watchers: 35
• Forks: 108
• Open Issues: 157
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project