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 44 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 12 1

  4. marshall marshall Public

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

    OCaml 8

  5. probzelus-haskell probzelus-haskell Public

    A probabilistic programming language for streaming inference

    Haskell 7

  6. qcm-artifact qcm-artifact Public

    OOPSLA'24 Artifact for "Quantum Control Machine: The Limits of Control Flow in Quantum Programming".

    OCaml 5

Repositories

Showing 10 of 32 repositories

Top languages

Loading…

Most used topics

Loading…