Collection of library stubs for Python, with static types
☆22Jun 9, 2026Updated 5 months ago
Alternatives and similar repositories for typeshed
Users that are interested in typeshed are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gix01 (beta) – Advanced GitHub Search & Analytics A single-file web app that lets you search GitHub repositories, users, issues, and code…☆37Jul 15, 2026Updated 3 months ago
- 👋 Hello World☆30Updated this week
- Astronomy Picture of the Day API service☆19May 14, 2026Updated 5 months ago
- ✨Generate beautiful animated SVG banners for your GitHub README — no uploads, no login, just a URL.☆24Jun 11, 2026Updated 5 months ago
- An AI-powered face swapping application leveraging computer vision for real-time facial landmark detection and seamless image blending.☆13Jul 28, 2026Updated 3 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Wireless ESP32 + AD8232 surface EMG system with real-time WiFi streaming, OTA updates, automatic calibration, and a lightweight Python GU…☆15May 15, 2026Updated 5 months ago
- A modern blog platform with article publishing, content management, and user system features.☆14Sep 14, 2026Updated last month
- The official gpt4free repository | various collection of powerful language models | opus 4.6 gpt 5.3 kimi 2.5 deepseek v3.2 gemini 3☆16Jun 23, 2026Updated 4 months ago
- 🔥 Developer Profile — Skills, Tools & Work☆49Jun 17, 2026Updated 4 months ago
- ☆39Jan 9, 2025Updated last year
- ESP32 LoRa Mesh Server is a minimal, professional implementation of a multi-hop LoRa mesh network with optional AES-256-GCM encryption an…☆11Feb 10, 2026Updated 9 months ago
- A modern, responsive personal portfolio website with dynamic content support, prepared for deployment on Vercel.☆28Updated this week
- An advanced AI-driven code analysis tool built with Next.js, leveraging OpenAI's API to review and debug code efficiently.☆19Aug 4, 2026Updated 3 months ago
- ♡☆23Aug 16, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A modern music sharing platform with features for uploading songs, listening to music, editing, and deleting.☆15Updated this week
- ☆21Mar 7, 2024Updated 2 years ago
- ☆12Jul 1, 2026Updated 4 months ago
- ATmega32U4 flight panel with 16-ch multiplexer, rotary encoder, and 19+ inputs.☆12Mar 12, 2026Updated 8 months ago
- Deterministic chemistry validator — formula parsing, molar mass, reaction balance (atoms + charge). Pure Python stdlib.☆14Jul 8, 2026Updated 4 months ago
- Paste an AI science claim; ClaimGate extracts each claim, routes it to a deterministic gate, and seals a replayable evidence pack.☆34Nov 5, 2026Updated last week
- CLI tool to search, filter and manage job opportunities using customizable rules and local persistence.☆56May 22, 2026Updated 5 months ago
- Deterministic structural sanity checker for Verilog RTL — undriven outputs, multi-driven signals, latch-inference risks, blocking/nonbloc…☆41Jul 8, 2026Updated 4 months ago
- Reproducible Python platform for methane-oriented sensor streams, statistical change detection, drift analysis, SQLite persistence, FastA…☆15Oct 7, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- <⚡️> SuperAGI - A dev-first open source autonomous AI agent framework. Enabling developers to build, manage & run useful autonomous agent…☆15Jan 22, 2025Updated last year
- Anima: an experimental cognitive architecture that models internal state, conflict, and decision-making. Uses LLMs as an interface, not a…☆47Sep 14, 2026Updated last month
- ☆23Jun 25, 2018Updated 8 years ago
- Minimal firmware launcher that allows installing and switching between different ESP32 firmware builds from an SD card. It is intended fo…☆18Aug 13, 2026Updated 2 months ago
- Lightweight SSH login observability for Linux servers. Sends a rich push notification via ntfy on every SSH login and failed attempt, and…☆32Sep 13, 2026Updated last month
- A multi-purpose utility platform offering productivity applications and interactive dashboard experiences.☆33Nov 1, 2026Updated last week
- sugamydicke☆16Aug 8, 2025Updated last year
- Educational GitHub infrastructure for R Programming and Mathematical Software labs, with assignment workflows, isolated student workspace…☆41Oct 15, 2026Updated 3 weeks ago
- Interactive CLI for Retrieval-Augmented Generation (RAG) with ranking — uses Ollama embeddings + HNSW vector DB + optional reranker for m…☆13Oct 28, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🐍 GitHub contribution snake animation generated automatically with GitHub Actions.☆72Updated this week
- ☆13May 2, 2026Updated 6 months ago
- Jose's portfolio made with React Tailwind & Motion 👾☆60May 28, 2026Updated 5 months ago
- An AI-powered Applicant Tracking System (ATS) that parses resumes and ranks candidates based on job descriptions using OpenAI GPT-4o and …☆15Aug 4, 2026Updated 3 months ago
- ☆18Aug 16, 2025Updated last year
- An AI detection engine for classifying text as human-written or LLM-generated.☆20Apr 12, 2026Updated 7 months ago
- Companion and standalone Android app for DCS-World Flightsimulator with map-based route planning and navigation, marker management, inter…☆45Sep 4, 2026Updated 2 months ago
Are these results useful?