Popular repositories Loading

1. agentic-cinema agentic-cinema Public

   Gemini-powered Station Director for a live ASCII TV network — Devpost Agentic Cinema hackathon (ClickHouse track)

   JavaScript

2. grant-scout-agent grant-scout-agent Public

   Strands agent that finds and vets federal grants for small nonprofits — AWS Agents for Humans Hackathon (Good Neighbor track)

   Python

3. continuity-check continuity-check Public

   Python

4. portfolio-carbon-steward portfolio-carbon-steward Public

   Strands agent: financed-emissions brief for groups that hold money together (Agents for Humans Hackathon, Good Neighbor track)

   Python

5. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean