Skip to content
@idris-bayes

Idris Bayes

Probabilistic programming for Idris2
README.md

A collection of libraries to provide infrastructure for probabilistic programming in Idris2. These are all available on the pack package manager.

Popular repositories Loading

  1. melocule melocule Public

    Probabilistic music composition in Idris2

    Idris 15

  2. monad-bayes monad-bayes Public

    A translation of the probabilistic language MonadBayes from Haskell to Idris2.

    Idris 2 2

  3. prob-fx prob-fx Public

    An experimental port of the probabilistic language ProbFX from Haskell to Idris2.

    Idris 1

  4. free free Public

    A partial port of the Haskell library "free" for free monads into Idris2.

    Idris

  5. distribution distribution Public

    An Idris2 foreign function interface for various statistical distributions in the GSL C library.

    Idris

  6. log-domain log-domain Public

    A partial port of the Haskell library "log-domain" for numerics in the log domain into Idris2.

    Idris

Repositories

Showing 10 of 10 repositories
  • monad-bayes Public

    A translation of the probabilistic language MonadBayes from Haskell to Idris2.

    idris-bayes/monad-bayes’s past year of commit activity
    Idris 2 BSD-3-Clause 2 1 0 Updated May 25, 2023
  • distribution Public

    An Idris2 foreign function interface for various statistical distributions in the GSL C library.

    idris-bayes/distribution’s past year of commit activity
    Idris 0 BSD-3-Clause 0 2 0 Updated Dec 23, 2022
  • melocule Public

    Probabilistic music composition in Idris2

    idris-bayes/melocule’s past year of commit activity
    Idris 15 BSD-3-Clause 0 1 1 Updated Dec 23, 2022
  • midi Public

    A MIDI library for Idris2

    idris-bayes/midi’s past year of commit activity
    Idris 0 BSD-3-Clause 0 0 0 Updated Aug 18, 2022
  • parser Public

    A general parser combinator library for (Vect n i) in Idris2.

    idris-bayes/parser’s past year of commit activity
    Idris 0 BSD-3-Clause 0 0 0 Updated Aug 18, 2022
  • prob-fx Public

    An experimental port of the probabilistic language ProbFX from Haskell to Idris2.

    idris-bayes/prob-fx’s past year of commit activity
    Idris 0 BSD-3-Clause 1 1 0 Updated Aug 12, 2022
  • idris2-jupyter-bayes Public
    idris-bayes/idris2-jupyter-bayes’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Aug 12, 2022
  • .github Public
    idris-bayes/.github’s past year of commit activity
    0 0 0 0 Updated Jul 19, 2022
  • log-domain Public

    A partial port of the Haskell library "log-domain" for numerics in the log domain into Idris2.

    idris-bayes/log-domain’s past year of commit activity
    Idris 0 BSD-3-Clause 0 0 0 Updated Jul 18, 2022
  • free Public

    A partial port of the Haskell library "free" for free monads into Idris2.

    idris-bayes/free’s past year of commit activity
    Idris 0 BSD-3-Clause 0 1 0 Updated Jul 18, 2022

Top languages

Loading…

Most used topics

Loading…