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 19

  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 1 3

Repositories

Showing 3 of 3 repositories

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…