HEL/midas
1
0
Fork 0
Code Issues Pull Requests Releases Activity
4 Commits 2 Branches 1 Tag
fedc582e16a4055b7060728f5ff4f3f69f6a4147
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
LordBaryhobal fedc582e16 feat(parser): add base lexer class 
the lexer and token structures were adapted from another project (see docstring on the Lexer class)
2026-05-13 22:40:19 +02:00
examples/00_syntax_prototype
feat: add some syntax examples
2026-05-13 14:36:51 +02:00
lexer
feat(parser): add base lexer class
2026-05-13 22:40:19 +02:00
vscode-ext
feat: add vscode extension for basic syntax highlighting
2026-05-13 14:38:01 +02:00
.gitignore
feat(parser): add base lexer class
2026-05-13 22:40:19 +02:00
README.md
chore: init
2026-05-12 10:50:46 +02:00

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 146 KiB
Languages
Python 95.2%
Typst 4.8%