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

• kotlingrad

  3 508 3.8 Kotlin

  🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

• kotlindl

  16 1,405 5.7 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 featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• kinference

  1 140 9.1 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