psg-mit
Popular repositories Loading
-
twist-popl22
twist-popl22 PublicPOPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
-
nightjarpy
nightjarpy PublicPython library to add support for embedding natural code in Python with shared program state.
-
tower-oopsla22
tower-oopsla22 PublicOOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".
-
qcm-artifact
qcm-artifact PublicOOPSLA'24 Artifact for "Quantum Control Machine: The Limits of Control Flow in Quantum Programming".
OCaml 8
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.
Top languages
Loading…
Most used topics
Loading…