🌍 Live Open Source Explorer

Explore live open-source projects and AI models.

Search public open-source repositories from GitHub and AI models from Hugging Face. Every page shows 10 results with clean pagination.

Curated Tools → Curated AI Models 🤖 Submit Tool ＋

Live sources

🐙

GitHub

Open repos

🤗

Hugging Face

AI models

🐳

Self Hosted

GitHub search

🧠

LLM

Model search

🔎 Live Search

Search live open-source data

Search GitHub repositories and Hugging Face models directly, then explore stars, downloads, source links and project details.

Reset Search ↻

Search keyword

🔎

Source

🌐

Try keywords like automation, CRM, analytics, chatbot, llama or workflow.

Choose where to search live data.

CRM Workflow Chatbot Llama

Live Results

GitHub Open Source Repositories

Search: potpie

Page 1

Showing 4 results from 4

potpie-ai/potpie

GitHub Python Apache License 2.0

Spec-driven development for large codebases

★ 5,455 Forks 636 potpie-ai Updated 15 Jun 2026

External source

GitHub

View Details → Open Source ↗

potpie-ai/potpie-ui

GitHub TypeScript Apache License 2.0

No description available from source.

★ 36 Forks 28 potpie-ai Updated 15 Jun 2026

External source

GitHub

View Details → Open Source ↗

uwplse/potpie

GitHub Coq

Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct

★ 19 Forks 2 uwplse Updated 05 May 2026

External source

GitHub

View Details → Open Source ↗

dstufft/potpie

GitHub Python GNU General Public License v2.0

Translation Utility to Create Pseudo Translations of PO Files

★ 15 Forks 8 dstufft Updated 25 Feb 2022

External source

GitHub

View Details → Open Source ↗