🌍 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: kitcat

Page 1

Showing 3 results from 3

mil-ad/kitcat

GitHub Python MIT License

Matplotlib backend for direct plotting in the terminal using Kitty graphics protocol.

★ 52 Forks 3 mil-ad Updated 29 May 2026

External source

GitHub

View Details → Open Source ↗

biocini/kitcat

GitHub Agda GNU Affero General Public License v3.0

Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda

★ 22 Forks 0 biocini Updated 16 Apr 2026

External source

GitHub

View Details → Open Source ↗

LeeFred3042U/kitcat

GitHub Go MIT License

A lightweight Git porcelain clone written in Golang for learning Git internals and low-level Go implementation.

★ 12 Forks 35 LeeFred3042U Updated 01 May 2026

External source

GitHub

View Details → Open Source ↗