GitHub repository: rickyhan/tensorscript
Primary language: Rust
Description: dependently-typed neural network DSL that shapechecks at compile time