HEL Louis Heredero
6 Followers · 3 Following
Suisse
https://github.com/LordBaryhobal
Joined on 2023-02-15
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to main at HEL/TB-Docs 2026-05-20 12:12:16 +00:00
119e5cd8af feat(journal): update day 2 and start of day3
74698073e7 feat(research): add documentation on syntax refinement
Compare 2 commits »
HEL pushed to main at HEL/midas 2026-05-20 11:17:02 +00:00
875ca589e4 Merge pull request 'Improve testing framework' (#2) from feat/test-framework into main
88f92d6e1f tests(parser): add simple types snapshot test
db4ed74365 tests(parser): add snapshot test runner
7cbf4fdece feat(tests): add AST JSON serializer
1fa9a09bfe feat(parser): use custom syntax error class
Compare 5 commits »
HEL deleted branch feat/test-framework from HEL/midas 2026-05-20 11:17:02 +00:00
HEL merged pull request HEL/midas#2 2026-05-20 11:17:01 +00:00
Improve testing framework
HEL created pull request HEL/midas#2 2026-05-20 11:16:41 +00:00
Improve testing framework
HEL pushed to feat/test-framework at HEL/midas 2026-05-19 12:12:19 +00:00
88f92d6e1f tests(parser): add simple types snapshot test
db4ed74365 tests(parser): add snapshot test runner
7cbf4fdece feat(tests): add AST JSON serializer
1fa9a09bfe feat(parser): use custom syntax error class
Compare 4 commits »
HEL created branch feat/test-framework in HEL/midas 2026-05-19 08:36:38 +00:00
HEL pushed to feat/test-framework at HEL/midas 2026-05-19 08:36:38 +00:00
HEL pushed tag v0.0.1-proto to HEL/midas 2026-05-19 08:34:54 +00:00
HEL merged pull request HEL/midas#1 2026-05-19 08:34:07 +00:00
Syntax prototype and basic parser
HEL pushed to main at HEL/midas 2026-05-19 08:34:07 +00:00
80bfcd0d1a Merge pull request 'Syntax prototype and basic parser' (#1) from feat/syntax-prototype into main
697f4d5003 tests(parser): add midas lexer tests
7a831a1afc fix(parser): handle extra tokens in Midas parser
6922e49cdf tests(parser): add tests for midas parser
ae02bab030 tests(parser): add tests for annotation parser
Compare 42 commits »
HEL deleted branch feat/syntax-prototype from HEL/midas 2026-05-19 08:34:07 +00:00
HEL created pull request HEL/midas#1 2026-05-19 08:33:36 +00:00
Syntax prototype and basic parser
HEL pushed to main at HEL/TB-Docs 2026-05-19 08:25:50 +00:00
0a3fd058cb feat(journal): update with weekly meeting 2
HEL pushed to feat/syntax-prototype at HEL/midas 2026-05-19 05:45:17 +00:00
697f4d5003 tests(parser): add midas lexer tests
HEL pushed to feat/syntax-prototype at HEL/midas 2026-05-18 16:43:42 +00:00
7a831a1afc fix(parser): handle extra tokens in Midas parser
6922e49cdf tests(parser): add tests for midas parser
Compare 2 commits »
HEL pushed to feat/syntax-prototype at HEL/midas 2026-05-18 12:42:35 +00:00
ae02bab030 tests(parser): add tests for annotation parser
7581a35be4 tests(parser): add syntax error test
6f0c0ce326 tests(parser): add literal value test
1b1fbb834e fix(parser): fix bang equal
f41c757838 tests(parser): complete simple annotation lexer tests
Compare 8 commits »
HEL pushed to feat/syntax-prototype at HEL/midas 2026-05-18 10:25:51 +00:00
74ac9c5381 feat(parser): parse Midas type constraints
e10d71a66b feat(parser): split annotation and Midas keywords
Compare 2 commits »
HEL pushed to feat/syntax-prototype at HEL/midas 2026-05-18 09:31:25 +00:00
8bc0918517 feat(parser): parse annotation type constraints
be50a8db35 feat(parser): add operators to annotations lexer
340bcc65fd feat(parser): update annotation printers
cbf0f2852e feat(parser): add AnnotationStmt and ConstraintExpr
64d96bd94e feat: add Midas railroad diagrams
Compare 10 commits »
HEL pushed to main at HEL/TB-Docs 2026-05-18 07:31:11 +00:00
b52baacdad feat(journal): update week1 and week2