Skip to content
@psg-mit

psg-mit

Popular repositories Loading

  1. twist-popl22 twist-popl22 Public

    POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".

    OCaml 47 7

  2. smooth smooth Public

    An arbitrary-precision differentiable programming language.

    Haskell 36 6

  3. tower-oopsla22 tower-oopsla22 Public

    OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".

    OCaml 13 1

  4. nightjarpy nightjarpy Public

    Python library to add support for embedding natural code in Python with shared program state.

    Python 10

  5. marshall marshall Public

    Our modifications of the Marshall language for exact real arithmetic and examples

    OCaml 8

  6. probzelus-haskell probzelus-haskell Public

    A probabilistic programming language for streaming inference

    Haskell 7

Repositories

Showing 10 of 33 repositories

Top languages

Loading…

Most used topics

Loading…