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

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Our great sponsors
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • Scout APM - Truly a developer’s best friend
  • Zigi - The context switching struggle is real
  • SonarQube - Static code analysis for 29 languages.
  • kotlingrad

    🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

  • kotlindl

    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

    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

    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/

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts