MasonProtter/ShapeCheck.jl

This is stars and forks stats for /MasonProtter/ShapeCheck.jl repository. As of 07 May, 2024 this repository has 35 stars and 0 forks.

ShapeCheck.jl This provides a nice(?) syntax for runtime shape checking of function outputs given their inputs. This should work for any type T which has methods for size(::T, n). The shapes being checked here in this package can not be dispatched on. Inspired by https://github.com/google/jaxtyping Consider this shapechecked implementation of a remove_last function: using ShapeCheck const AV = AbstractVector @shapechecked function remove_last(x :: AV[n]) :: AV[n-1] x[1:end-1] end The use of...