2 Commits

Author SHA1 Message Date
9a7c1e24f1 chore: add icon to README
All checks were successful
Tests / tests (pull_request) Successful in 6s
2026-07-10 00:37:03 +02:00
348352ab8c chore: add Contributing and License to README 2026-07-10 00:32:45 +02:00

View File

@@ -1,5 +1,9 @@
<h1>Midas</h1>
<p align="center">
<img src="assets/icon.svg" width="64">
</p>
<img src="https://git.kb28.ch/HEL/midas/actions/workflows/tests.yaml/badge.svg">
*Midas* is a type system to _Maintain Integrity of Data with Annotated Structures_. In Greek mythology, [Midas](https://en.wikipedia.org/wiki/Midas) was a Phrygian king who was blessed with the gift of turning everything he touched into gold.
@@ -24,6 +28,8 @@ This framework is being developed as part of a Bachelor's Thesis by Louis Herede
- [Showing Type Judgements](#showing-type-judgements)
- [Validating Definitions](#validating-definitions)
- [Tests](#tests)
- [Contributing](#contributing)
- [License](#license)
</details>
@@ -163,3 +169,16 @@ Not specifying any subcommand is equivalent to running `run -a`
- Run specific tests: `run tests/cases/test1.py tests/cases/test2.py ...`
- Update all tests: `update -a`
- Update specific tests: `update tests/cases/test1.py tests/cases/test2.py ...`
## Contributing
Feel free to [open an issue](https://git.kb28.ch/HEL/midas/issues) to report a bug or if you experience any issues with Midas.
Contributions are also welcome so feel free to [open a pull request](https://git.kb28.ch/HEL/midas/pulls).
> [!NOTE]
> As this is part of my bachelor project, I will not accept any contributions before my defense
## License
Midas is distributed under the terms of the Apache-2.0 license. See [LICENSE](LICENSE) for details.