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. sigecom-algo-trader sigecom-algo-trader Public

   python algotrader using ema + rsi strategy to detect and capitalize on trends while avoiding being over or underbought

   Python 1

5. notion-extensions notion-extensions Public

   personal notion db widget to map productivity (and bc we're broke and can't afford more than one chart so we built it lolz)

   JavaScript

6. lean4game lean4game Public

   a web game exploring the field of abstract algebra at an undergraduate level through lean4, uses a framework created by the ADAM Project

   Lean 1