HEL/midas

Go to file

fix(parser): allow underscores in identifier

modify the lexer to allow underscores in an identifier, but keep scanning single underscores as a specific underscore token

2026-05-21 13:54:19 +02:00

core/ast

feat(parser)!: adjust AST node classes for new syntax

2026-05-21 12:25:47 +02:00

examples/00_syntax_prototype

fix: tweak syntax examples

2026-05-20 14:14:01 +02:00

gen

feat(parser)!: adjust AST node classes for new syntax

2026-05-21 12:25:47 +02:00

lexer

fix(parser): allow underscores in identifier

2026-05-21 13:54:19 +02:00

parser

fix(parser)!: remove annotation lexer and parser

2026-05-20 15:45:55 +02:00

syntax

feat: update railroad diagrams with revised syntax

2026-05-21 07:53:56 +02:00

tests

tests(parser): use new MidasSyntaxError

2026-05-20 15:46:25 +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

test.py

feat(parser): use midas parser in test script

2026-05-14 02:38:04 +02:00

tester.py

tests(parser): add snapshot test runner

2026-05-19 14:11:32 +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.