HEL/midas
1
0
Fork 0
Code Issues Pull Requests Releases Activity
121 Commits 1 Branch 1 Tag
c3722c7438426ec846a41f00948919e01bff83de
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.6 MiB
Languages
Python 96.7%
Typst 2.2%
CSS 1.1%