Idris2+WebGL, part #12: Linear algebra with linear types... not great

This page summarizes the projects mentioned and recommended in the original post on dev.to

InfluxDB - 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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • accelerate

    Embedded language for high-performance array computations (by AccelerateHS)

  • I'm toying with the idea of replacing vector values with vector generators, where e.g. v1 + v2 is not evaluated to a new vector, but to a vector program. This is similar to the approaches of Accelerate and TensorFlow. On the flip side, I don't think I could get rid of the overhead, and I expect much smaller computation loads than aforementioned libraries, so overheads could be very significant. The added benefit of using vector generators is that the generator could not only be evaluated, but also be turned into a Latex formula.

  • InfluxDB

    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.

    InfluxDB logo
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

  • Should I use newer ghc?

    2 projects | /r/haskell | 23 Feb 2023
  • How do I get my program to use 100% of the GPU?

    1 project | /r/archlinux | 9 Jan 2023
  • I made a petition to get the accelerate project for Haskell some funding.

    1 project | /r/haskell | 5 Jan 2023
  • Next Decade in Languages: User Code on the GPU

    3 projects | /r/ProgrammingLanguages | 25 Jun 2022
  • Should I abandon using haskell for my compiler?

    5 projects | /r/haskell | 20 Apr 2023