Explore @psg-mit Open Source projects

@psg-mit

psg-mit

Stars
111
Global Org. Rank 55,132 (Top 18 %)
Registered almost 7 years ago
Most used languages

OCaml
61.5 %

Python
23.1 %

Haskell
15.4 %

twist-popl22

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

smooth

An arbitrary-precision differentiable programming language.

tower-oopsla22

probzelus-haskell

A probabilistic programming language for streaming inference

marshall

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

spire-artifact

This is the artifact for the paper "The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation" by Charles Yuan and Michael Carbin. It contains the sources for the Spire compiler, the benchmark programs and circuits used in the paper, and the evaluation package.

qcm-artifact

Quantum Control Machine

programming-with-neural-surrogates-of-programs

marshall-lics

A modified version of Marshall with nondeterminism, partiality, and pattern matching

semi-symbolic-probzelus

probzelus-oopsla21

llm-random-number-gen

fast_reals

Sensitivities for Guiding Refinement in Arbitrary-Precision Arithmetic