-
Notifications
You must be signed in to change notification settings - Fork 6
Pull requests: alcides/aeon
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add Lock, Reader, Email, and Downloader typestate protocols
#507
opened Sep 5, 2026 by
alcides
Owner
Loading…
3 of 4 tasks
Add CUDA kind/access/shape/shared/warp/Status refinements
#506
opened Sep 5, 2026 by
alcides
Owner
Loading…
3 of 4 tasks
Add a refinement-typed ML library and Titanic example
#492
opened Aug 18, 2026 by
joaokorreia
Contributor
Loading…
feat(optimization): eliminate dead branches using liquid refinements (#114)
#463
opened Jul 2, 2026 by
alcides
Owner
Loading…
4 tasks done
ProTip!
Adding no:label will show everything without a label.