Skip to content

@idris-bayes Idris Bayes

Change the repository type filter

All

    Repositories list

    10 repositories

    • monad-bayes

      Public
      A translation of the probabilistic language MonadBayes from Haskell to Idris2.
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •2•3•1•0•Updated May 25, 2023May 25, 2023

    • distribution

      Public
      An Idris2 foreign function interface for various statistical distributions in the GSL C library.
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•2•0•Updated Dec 23, 2022Dec 23, 2022

    • melocule

      Public
      Probabilistic music composition in Idris2
      generative-musicprobabilistic-musicmonad-bayes
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •1•16•1•1•Updated Dec 23, 2022Dec 23, 2022

    • midi

      Public
      A MIDI library for Idris2
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Aug 18, 2022Aug 18, 2022

    • parser

      Public
      A general parser combinator library for (Vect n i) in Idris2.
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Aug 18, 2022Aug 18, 2022

    • prob-fx

      Public
      An experimental port of the probabilistic language ProbFX from Haskell to Idris2.
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•1•0•Updated Aug 12, 2022Aug 12, 2022

    • idris2-jupyter-bayes

      Public
      Jupyter Notebook
      •
      Other
      •0•0•0•0•Updated Aug 12, 2022Aug 12, 2022

    • .github

      Public
      0•0•0•0•Updated Jul 19, 2022Jul 19, 2022

    • log-domain

      Public
      A partial port of the Haskell library "log-domain" for numerics in the log domain into Idris2.
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jul 18, 2022Jul 18, 2022

    • free

      Public
      A partial port of the Haskell library "free" for free monads into Idris2.
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•1•0•Updated Jul 18, 2022Jul 18, 2022