search

joelberkeley / spidr

Accelerated machine learning with dependent types
Apache License 2.0
72 stars 4 forks source link

merge FFI modules with idiomatic Idris XLA API #395

Closed joelberkeley closed 4 months ago