Skip to content
@ppaml-op3

PPAML OP3

BAE Systems PPAML program OP3 team

Popular repositories Loading

  1. iracket iracket Public

    IPython/Jupiter kernel for Racket and Gamble.

    Jupyter Notebook 10 18

  2. insomnia insomnia Public

    Insomnia: A modular probabilistic programming language

    Haskell 9 1

  3. semantics-recursive-real-ppl semantics-recursive-real-ppl Public

    Coq implementation of logical relations for reasoning about a probabilistic programming language with continuous random variables and recursion.

    Coq 2 3

Repositories

Showing 3 of 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.

    ppaml-op3/semantics-recursive-real-ppl’s past year of commit activity
    Coq 2 BSD-3-Clause 3 0 1 Updated Jul 16, 2018
  • iracket Public

    IPython/Jupiter kernel for Racket and Gamble.

    ppaml-op3/iracket’s past year of commit activity
    Jupyter Notebook 10 BSD-3-Clause 18 0 0 Updated May 1, 2018
  • insomnia Public

    Insomnia: A modular probabilistic programming language

    ppaml-op3/insomnia’s past year of commit activity
    Haskell 9 BSD-3-Clause 1 0 0 Updated Jul 23, 2017

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…