Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/GaloisInc/daedalus
The Daedalus data description language
https://github.com/GaloisInc/daedalus
Last synced: about 2 months ago
JSON representation
The Daedalus data description language
- Host: GitHub
- URL: https://github.com/GaloisInc/daedalus
- Owner: GaloisInc
- License: bsd-3-clause
- Created: 2020-07-06T17:27:11.000Z (about 4 years ago)
- Default Branch: master
- Last Pushed: 2024-07-22T23:06:19.000Z (2 months ago)
- Last Synced: 2024-07-23T02:37:22.120Z (2 months ago)
- Language: Haskell
- Homepage:
- Size: 39.6 MB
- Stars: 59
- Watchers: 10
- Forks: 10
- Open Issues: 107
-
Metadata Files:
- Readme: README.rst
- Changelog: CHANGELOG.md
- License: LICENSE