Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Thoughts on jaxtyping #246

Open
Ryu1845 opened this issue Jul 14, 2023 · 1 comment
Open

Thoughts on jaxtyping #246

Ryu1845 opened this issue Jul 14, 2023 · 1 comment
Labels
feat/misc Feature: Miscellaneous type/feature Type: Feature
Milestone
Undecided

Comments

@Ryu1845
Copy link

Ryu1845 commented Jul 14, 2023

Jaxtyping enables putting shape and dtype into the typing. Unlike its name might imply, it also supports pytorch.
@danieldk danieldk added type/feature Type: Feature feat/misc Feature: Miscellaneous labels Jul 14, 2023
@danieldk
Copy link
Collaborator

Thanks for the pointer! Type checking for shapes is something I wished for for a long time, We'll definitely look into this after getting 1.0 out of the door.

@shadeMe shadeMe added this to the Undecided milestone Oct 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feat/misc Feature: Miscellaneous type/feature Type: Feature
Projects
None yet
Milestone
Undecided
Development

No branches or pull requests
3 participants
@danieldk @shadeMe @Ryu1845