From 2f839419f8e8c57678ccb28aa4c88587c5383ac4 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Tue, 12 May 2026 10:50:46 +0200 Subject: [PATCH] chore: init --- .gitignore | 0 README.md | 7 +++++++ 2 files changed, 7 insertions(+) create mode 100644 .gitignore create mode 100644 README.md 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.