Pinned Repositories
llm-random-number-gen
marshall
Our modifications of the Marshall language for exact real arithmetic and examples
probzelus-haskell
A probabilistic programming language for streaming inference
probzelus-oopsla21
programming-with-neural-surrogates-of-programs
qcm-artifact
Quantum Control Machine
smooth
An arbitrary-precision differentiable programming language.
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.
tower-oopsla22
twist-popl22
POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
psg-mit's Repositories
psg-mit/twist-popl22
POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
psg-mit/smooth
An arbitrary-precision differentiable programming language.
psg-mit/tower-oopsla22
psg-mit/probzelus-haskell
A probabilistic programming language for streaming inference
psg-mit/marshall
Our modifications of the Marshall language for exact real arithmetic and examples
psg-mit/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.
psg-mit/programming-with-neural-surrogates-of-programs
psg-mit/qcm-artifact
Quantum Control Machine
psg-mit/fast_reals
Sensitivities for Guiding Refinement in Arbitrary-Precision Arithmetic
psg-mit/llm-random-number-gen
psg-mit/marshall-lics
A modified version of Marshall with nondeterminism, partiality, and pattern matching
psg-mit/probzelus-oopsla21
psg-mit/semi-symbolic-probzelus
psg-mit/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/sot
[ICLR 2024] Skeleton-of-Thought: Large Language Models Can Do Parallel Decoding
psg-mit/bb-dataset
psg-mit/latexpp
Latex preprocessor — apply macro definitions, remove comments, and more
psg-mit/leto
psg-mit/monad-bayes
A library for probabilistic programming in Haskell.
psg-mit/research-seminar
psg-mit/rl_ltl_sample_complexity
psg-mit/FastChat
An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.
psg-mit/math-with-slack
Rendered math (MathJax) with Slack's desktop client
psg-mit/mungojerrie
Customized https://plv.colorado.edu/wwwmungojerrie/
psg-mit/polyppl
A cleaned code repo for #polyppl
psg-mit/probzelus-ci
ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
psg-mit/scikit-glpk
GLPK, but it's Python.
psg-mit/simple_rl
A simple framework for experimenting with Reinforcement Learning in Python.
psg-mit/siren