Probabilistic modelling in Idris: engineering as research

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/Idris
#Math #Algebra #Linear

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • linear

    Low-dimensional linear algebra primitives for Haskell.

    I've come to love the linear approach, where instead of working with Naperian (Representable) functors, you work with Distributive functors.

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