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. marshall marshall Public

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

    OCaml 8

  5. nightjarpy nightjarpy Public

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

    Python 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…