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 43 7

  2. smooth smooth Public

    An arbitrary-precision differentiable programming language.

    Haskell 34 6

  3. tower-oopsla22 tower-oopsla22 Public

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

    OCaml 11 1

  4. marshall marshall Public

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

    OCaml 7

  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 29 repositories
  • spire-artifact Public

    PLDI'24 Artifact for "The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation".

    psg-mit/spire-artifact’s past year of commit activity
    OCaml 3 MIT 1 0 0 Updated Dec 13, 2024
  • siren Public

    Siren is a first-order functional probabilistic programming language, implemented with the hybrid inference interface, with support for inference plans. Distributions encoding annotations can be added to random variables to select the representation of the variable's distribution to be used during inference.

    psg-mit/siren’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Oct 15, 2024
  • FastChat Public Forked from lm-sys/FastChat

    An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.

    psg-mit/FastChat’s past year of commit activity
    Python 0 Apache-2.0 4,719 0 0 Updated May 18, 2024
  • sot Public Forked from imagination-research/sot

    [ICLR 2024] Skeleton-of-Thought: Large Language Models Can Do Parallel Decoding

    psg-mit/sot’s past year of commit activity
    Python 1 MIT 17 0 0 Updated May 2, 2024
  • sglang Public Forked from sgl-project/sglang

    SGLang is a structured generation language designed for large language models (LLMs). It makes your interaction with models faster and more controllable.

    psg-mit/sglang’s past year of commit activity
    Python 1 Apache-2.0 587 0 0 Updated Apr 11, 2024
  • tower-oopsla22 Public

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

    psg-mit/tower-oopsla22’s past year of commit activity
    OCaml 11 MIT 1 0 0 Updated Feb 7, 2024
  • qcm-artifact Public

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

    psg-mit/qcm-artifact’s past year of commit activity
    OCaml 5 MIT 0 0 0 Updated Jan 2, 2024
  • probzelus-ci Public Forked from IBM/probzelus

    ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.

    psg-mit/probzelus-ci’s past year of commit activity
    OCaml 0 Apache-2.0 11 0 0 Updated Aug 15, 2023
  • llm-random-number-gen Public
    psg-mit/llm-random-number-gen’s past year of commit activity
    Python 1 3 0 0 Updated Aug 7, 2023
  • smooth Public

    An arbitrary-precision differentiable programming language.

    psg-mit/smooth’s past year of commit activity
    Haskell 34 BSD-3-Clause 6 1 0 Updated Jul 7, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…