Skip to content

@ppaml-op3 PPAML OP3

Change the repository type filter

All

    Repositories list

    3 repositories

    • semantics-recursive-real-ppl

      Public
      Coq implementation of logical relations for reasoning about a probabilistic programming language with continuous random variables and recursion.
      Coq
      •
      BSD 3-Clause "New" or "Revised" License
      •3•2•0•1•Updated Jul 16, 2018Jul 16, 2018

    • iracket

      Public
      IPython/Jupiter kernel for Racket and Gamble.
      Jupyter Notebook
      •
      BSD 3-Clause "New" or "Revised" License
      •18•10•0•0•Updated May 1, 2018May 1, 2018

    • insomnia

      Public
      Insomnia: A modular probabilistic programming language
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•9•0•0•Updated Jul 23, 2017Jul 23, 2017