HEL/midas
1
0
Fork 0
Code Issues Pull Requests 1 Releases Activity
126 Commits 3 Branches 1 Tag
0a3216e07ddd5f78c1694f2f73bdfac7c57de31d
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE

README.md

Midas

Midas is a type system to Maintain Integrity of Data with Annotated Structures. In Greek mythology, 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.

Reference in New Issue View Git Blame Copy Permalink
Description
Maintaining Integrity of Data with Annotated Structures
annotationsbachelor-projectcompile-timedata-integritypythontype-system
Readme 1.1 MiB
Languages
Python 95.6%
Typst 2.9%
CSS 1.5%