8 lines
523 B
Markdown
8 lines
523 B
Markdown
# Midas
|
|
|
|
*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.
|
|
|
|
*Midas* aims at providing Python developers with a simple annotation system to enable compile-time integrity and data type checks, as well as generating runtime assertions.
|
|
|
|
This framework is being developed as part of a Bachelor's Thesis by Louis Heredero at HEI Sion.
|