HEL/midas

Go to file

feat(checker): add midas context resolver

this is still very basic and only handle a few expressions
notably, it doesn't support generics, option types, conditions, predicates nor complex types

2026-05-28 17:33:16 +02:00

docs

docs: create architecture diagram

2026-05-28 15:25:12 +02:00

examples

chore: add simple operation and type examples

2026-05-28 17:31:12 +02:00

gen

fix(parser): add function body and all_args property

2026-05-28 15:26:53 +02:00

midas

feat(checker): add midas context resolver

2026-05-28 17:33:16 +02:00

syntax

fix(parser): complete EBNF and railroad diagrams

2026-05-21 15:46:40 +02:00

tests/cases/parser

test(parser): remove pytest tests

2026-05-21 15:07:19 +02:00

vscode-ext

feat: add vscode extension for basic syntax highlighting

2026-05-13 14:38:01 +02:00

.gitignore

feat: add pyproject.toml

2026-05-22 11:09:24 +02:00

pyproject.toml

chore: complete pyproject.toml

2026-05-22 11:15:46 +02:00

README.md

chore: init

2026-05-12 10:50:46 +02:00

test.py

refactor: move source files in subdirectory

2026-05-22 11:05:47 +02:00

tester.py

refactor: move source files in subdirectory

2026-05-22 11:05:47 +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.