psg-mit Goto Github PK

bb-dataset

fast_reals

Sensitivities for Guiding Refinement in Arbitrary-Precision Arithmetic

latexpp

Latex preprocessor — apply macro definitions, remove comments, and more

leto

llm-random-number-gen

marshall

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

marshall-lics

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

math-with-slack

Rendered math (MathJax) with Slack's desktop client

monad-bayes

A library for probabilistic programming in Haskell.

mungojerrie

Customized https://plv.colorado.edu/wwwmungojerrie/

polyppl

A cleaned code repo for #polyppl

probzelus-ci

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

probzelus-haskell

A probabilistic programming language for streaming inference

probzelus-oopsla21

programming-with-neural-surrogates-of-programs

qcm-artifact

Quantum Control Machine

research-seminar

rl_ltl_sample_complexity

scikit-glpk

GLPK, but it's Python.

semi-symbolic-probzelus

simple_rl

A simple framework for experimenting with Reinforcement Learning in Python.

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".