Pinned Loading

1. verified-agent-synthesis verified-agent-synthesis Public

   automated llm generation of constrained decoding algorithms through verification using dafny contracts

   Python 1 1

2. aashimasisodia/squishy aashimasisodia/squishy Public

   a text-to-physics soft robotics simulation platform. won @ keywords ai (YC W24) hackathon

   Python 2

3. async-audio-relay-pi async-audio-relay-pi Public

   peer-to-peer audio sharing through a pi 5 relay, asynchronously saves files for playback when receiver reconnects, cs341 honors project

   C

4. quantumlib/Cirq quantumlib/Cirq Public

   Python framework for creating, editing, and running Noisy Intermediate-Scale Quantum (NISQ) circuits.

   Python 5.1k 1.3k

5. cherimoya cherimoya Public

   C++

6. pragma pragma Public

   Go