3 packages returned for Tags:"type-level"

Sylvester number-parameterized collection types. These collection types can perform static verification of lengths and indices as long as some information about these values is available at compile time.

Type-level natural number arithmetic and constraints using fixed-point decimal types.

High-level functional and verifiable TensorFlow 2.0 API.