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

InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io
featured
  1. kotlingrad

    🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. 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/

  4. 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