Popsicle AI Lab

Pinned Loading

1. popsicle popsicle Public

   This is Popsicle, a border collie who oversees AI coding.

   Rust 1 2

2. intent-lang intent-lang Public

   A requirements modeling DSL with SMT verification.

   Rust

3. popsicle-registry popsicle-registry Public

   Popsicle git-based registry, serve by module that include pipelines, tools, skills.

4. popsicle-bench popsicle-bench Public

   Popsicle module bench, include dataset, rubrics, results and leaderboard.