Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to feat/simple-frame-ops at HEL/midas 2026-07-03 00:21:08 +00:00
a143972ef1 feat(checker): add aggregation ops on frame groupby
0c70048b62 feat(checker): add statistical ops on columns
1c0c917873 feat(checker): add statistical ops on frames
1f6189daa4 feat(checker): add comparison binary ops on columns
66b585c3d6 fix(checker): recursively check builtin subtypes
Compare 10 commits »
HEL pushed to feat/simple-frame-ops at HEL/midas 2026-07-02 22:05:46 +00:00
be2fd4c837 feat(checker): delegate element operation to inner type
1bc4c704c3 feat(checker): delegate element operation to columns
0288a05901 feat(checker): handle assignment to multiple columns
Compare 3 commits »
HEL pushed to feat/simple-frame-ops at HEL/midas 2026-07-02 17:54:05 +00:00
b14f46d405 feat(checker): handle calls on group-bys
8e8ed62266 feat(checker): add add/mean/groupby on columns
2fce2f4bfc feat(checker): add column method registry
640f2d1771 feat(checker): support unification of frames and columns
b48dfe5301 refactor: make MethodRegistry generic on Call
Compare 8 commits »
HEL pushed to feat/simple-frame-ops at HEL/midas 2026-07-02 15:22:37 +00:00
5d20f8ec3e docs: mention eager evaluation in manual
955c2233ed feat(checker): statically evaluate casts to Any and None
ff69b65171 feat(checker): add same length assertion on frames
8df01afd8c feat(gen): materialize assertions from collector
47b2dfdd73 feat(gen): add assertion collector to TypedAST
Compare 6 commits »
HEL pushed to feat/simple-frame-ops at HEL/midas 2026-07-01 20:34:23 +00:00
f7a36f61b6 fix(checker): pass AST expression to method registry
ad2fabf471 feat(checker): add assertion collector
Compare 2 commits »
HEL created branch feat/simple-frame-ops in HEL/midas 2026-07-01 20:26:04 +00:00
HEL pushed to feat/simple-frame-ops at HEL/midas 2026-07-01 20:26:04 +00:00
a59a58d21a feat(gen): generate alias stubs
HEL deleted branch feat/call-dispatcher from HEL/midas 2026-07-01 12:22:13 +00:00
HEL pushed to main at HEL/midas 2026-07-01 12:22:13 +00:00
3260ae4a1e Merge pull request 'Call dispatcher' (#26) from feat/call-dispatcher into main
bd1c9581c7 fix(checker): use dispatcher in frame method registry
663642ea6c fix(tests): serialize alias statements
e2abc04fe4 feat(checker): define min/max in preamble
a4016b55ce feat(checker): handle calls to AppliedType
Compare 13 commits »
HEL merged pull request HEL/midas#26 2026-07-01 12:22:11 +00:00
Call dispatcher
HEL created pull request HEL/midas#26 2026-07-01 12:22:05 +00:00
Call dispatcher
HEL pushed to feat/call-dispatcher at HEL/midas 2026-07-01 12:17:17 +00:00
bd1c9581c7 fix(checker): use dispatcher in frame method registry
HEL pushed to feat/call-dispatcher at HEL/midas 2026-07-01 12:13:32 +00:00
663642ea6c fix(tests): serialize alias statements
HEL created branch feat/call-dispatcher in HEL/midas 2026-07-01 12:10:29 +00:00
HEL pushed to feat/call-dispatcher at HEL/midas 2026-07-01 12:10:29 +00:00
e2abc04fe4 feat(checker): define min/max in preamble
a4016b55ce feat(checker): handle calls to AppliedType
1ea5da7024 feat(parser): parse binary operations in Midas
a017a8cf1f feat(checker): catch errors when evaluating constraint
8fc5ab623e feat(checker): evaluate literal cast to list/dict
Compare 10 commits »
HEL commented on pull request HEL/circuiteria#23 2026-07-01 09:46:11 +00:00
CeTZ, Tidy and Typst version updates

Hi, thanks for your interest in this package and for the PR! I was planning on updating to the latest versions indeed once the latest release has been merged in the Universe. But first, I wanted…

HEL deleted branch feat/dataframes from HEL/midas 2026-07-01 08:24:38 +00:00
HEL pushed to main at HEL/midas 2026-07-01 08:24:38 +00:00
c81287df7f Merge pull request 'Initial dataframe implementation' (#25) from feat/dataframes into main
ffccc1bedd feat(cli): generate stubs in build dir when compiling
d14f208897 feat(gen): add tuple expr to generator
293953a078 tests: update with multi-parameter generics
bccc96e4d0 fix: minor fixes
Compare 40 commits »
HEL merged pull request HEL/midas#25 2026-07-01 08:24:36 +00:00
Initial dataframe implementation
HEL created pull request HEL/midas#25 2026-07-01 08:24:20 +00:00
Initial dataframe implementation