Popular repositories Loading
-
twist-popl22 Public
POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
-
nightjarpy Public
Python library to add support for embedding natural code in Python with shared program state.
-
tower-oopsla22 Public
OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".
-
Repositories
-
-
- nightjarpy Public
Python library to add support for embedding natural code in Python with shared program state.
- rlm Public Forked from alexzhang13/rlm
General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.
- spire-artifact Public
PLDI'24 Artifact for "The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation".
- dspy Public Forked from stanfordnlp/dspy
DSPy: The framework for programming—not prompting—language models
- gpt-fast Public Forked from meta-pytorch/gpt-fast
Simple and efficient pytorch-native transformer text generation in <1000 LOC of python.
- 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.
- 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.