commit 2f839419f8e8c57678ccb28aa4c88587c5383ac4 Author: LordBaryhobal Date: Tue May 12 10:50:46 2026 +0200 chore: init diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..e69de29 diff --git a/README.md b/README.md new file mode 100644 index 0000000..e8aca42 --- /dev/null +++ b/README.md @@ -0,0 +1,7 @@ +# 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.