HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 3 Activity
Labels Milestones New Pull Request
0 Open 42 Closed
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
HEL
#23
by HEL was merged 2026-06-30 14:11:45 +00:00
main
feat/manual
#22
by HEL was merged 2026-06-24 12:18:08 +00:00
main
fix/cli-tweaks
#21
by HEL was merged 2026-06-24 12:00:03 +00:00
main
feat/unsafe-cast
#20
by HEL was merged 2026-06-24 09:32:55 +00:00
main
feat/literal-static-constraints
#19
by HEL was merged 2026-06-23 08:15:56 +00:00
main
feat/demonstration
#18
by HEL was merged 2026-06-21 11:41:48 +00:00
main
feat/unification
#17
by HEL was merged 2026-06-20 15:44:35 +00:00
main
feat/stubs-gen
#16
by HEL was merged 2026-06-20 14:55:02 +00:00
main
feat/variance
#15
by HEL was merged 2026-06-19 20:21:04 +00:00
main
feat/constraint-type
#14
by HEL was merged 2026-06-19 13:25:09 +00:00
main
fix/update-readme
#13
by HEL was merged 2026-06-16 18:42:13 +00:00
main
feat/dictionaries
#12
by HEL was merged 2026-06-16 12:57:49 +00:00
main
feat/cast-assertions
#11
by HEL was merged 2026-06-15 22:51:12 +00:00
main
feat/for-loops
#10
by HEL was merged 2026-06-15 12:29:22 +00:00
main
feat/code-generator
#9
by HEL was merged 2026-06-14 22:13:14 +00:00
main
feat/generics
#8
by HEL was merged 2026-06-14 22:01:45 +00:00
main
feat/subtyping
#7
by HEL was merged 2026-06-05 10:29:42 +00:00
main
feat/usage-documentation
#6
by HEL was merged 2026-06-05 09:31:54 +00:00
main
feat/basic-type-checker
#5
by HEL was merged 2026-06-05 09:20:56 +00:00
feat/basic-type-checker
feat/improve-syntax-and-types
#4
by HEL was merged 2026-05-26 08:28:42 +00:00
main
feat/python-parser