Show HN: Shape-Safe Symbolic Differentiation with Algebraic Data Types

• kotlingrad

  1 482 8.4 Kotlin

  🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

• kotlindl

  0 994 8.8 Kotlin

  High-level Deep Learning Framework written in Kotlin and inspired by Keras

  

  Thank you for your feedback! Kotlin∇ is a research prototype for building differentiable programs from basic primitives. If you’re looking for a higher-level API, KotlinDL [1] or KInference [2] might be a better fit for building end-user applications such as image, speech or language processing.

  [1]: https://github.com/JetBrains/KotlinDL

  [2]: https://github.com/JetBrains-Research/kinference/

• InfluxDB

  www.influxdata.com

  sponsored

  Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.

  

• kinference

  0 70 8.5 Kotlin

  Running ONNX models in vanilla Kotlin

  

  Thank you for your feedback! Kotlin∇ is a research prototype for building differentiable programs from basic primitives. If you’re looking for a higher-level API, KotlinDL [1] or KInference [2] might be a better fit for building end-user applications such as image, speech or language processing.

  [1]: https://github.com/JetBrains/KotlinDL

  [2]: https://github.com/JetBrains-Research/kinference/

Suggest a related project