Collection of library stubs for Python, with static types
☆22Jun 9, 2026Updated 4 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:
- 👋 Hello World☆30Updated this week
- 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
- ✨Generate beautiful animated SVG banners for your GitHub README — no uploads, no login, just a URL.☆25Jun 11, 2026Updated 4 months ago
- The official gpt4free repository | various collection of powerful language models | opus 4.6 gpt 5.3 kimi 2.5 deepseek v3.2 gemini 3☆15Jun 23, 2026Updated 4 months ago
- Minimal firmware launcher that allows installing and switching between different ESP32 firmware builds from an SD card. It is intended fo…☆15Aug 13, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆25Jan 9, 2025Updated last year
- CLI tool to search, filter and manage job opportunities using customizable rules and local persistence.☆43May 22, 2026Updated 5 months ago
- ☆20Mar 7, 2024Updated 2 years ago
- ☆22Jun 25, 2018Updated 8 years ago
- ♡☆23Aug 16, 2026Updated 2 months ago
- A modern, responsive personal portfolio website with dynamic content support, prepared for deployment on Vercel.☆28Updated this week
- <⚡️> SuperAGI - A dev-first open source autonomous AI agent framework. Enabling developers to build, manage & run useful autonomous agent…☆14Jan 22, 2025Updated last year
- A multi-purpose utility platform offering productivity applications and interactive dashboard experiences.☆32Oct 15, 2026Updated last week
- Paste an AI science claim; ClaimGate extracts each claim, routes it to a deterministic gate, and seals a replayable evidence pack.☆33Jul 8, 2026Updated 3 months ago
- 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.
- Jose's portfolio made with React Tailwind & Motion 👾☆47May 28, 2026Updated 4 months ago
- Deterministic structural sanity checker for Verilog RTL — undriven outputs, multi-driven signals, latch-inference risks, blocking/nonbloc…☆41Jul 8, 2026Updated 3 months ago
- Open claim taxonomy + verdict schema for deterministic AI-output verification (DTL). PR-extensible; engines stay separate.☆35Jul 8, 2026Updated 3 months ago
- 🔥 Developer Profile — Skills, Tools & Work☆35Jun 17, 2026Updated 4 months ago
- ☆39Jun 5, 2025Updated last year
- Lightweight SSH login observability for Linux servers. Sends a rich push notification via ntfy on every SSH login and failed attempt, and…☆29Sep 13, 2026Updated last month
- ANPS-TradeMeUp is an LLM-powered AI News Prediction System for short-to-medium term market forecasting, featuring real-time analysis and …☆43Aug 5, 2026Updated 2 months ago
- A production-ready CLI utility with 100+ tools for zipping, video/audio editing, network scanning, Git automation, and Android/Termux con…☆21Sep 6, 2026Updated last month
- This repository contains an 'agent' which can take in a URL, and generate a Twitter & LinkedIn post based on the content of the URL. It u…☆14Jan 27, 2026Updated 8 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- arn-c0de (arn-code) — Software Developer & Open Source Creator: Systems, Web, Embedded, AI & Security Tools.☆33Oct 16, 2026Updated last week
- ☆19May 14, 2026Updated 5 months ago
- the most complete rust tutorial platform ever☆20May 3, 2026Updated 5 months ago
- One Door Advocate — a conversational, any-language California benefits advocate. Eligibility computed by a deterministic cited engine, ne…☆41Jul 14, 2026Updated 3 months ago
- A full-stack web camera application built with React and Django. Features live video streaming, real-time image processing via Canvas API…☆25Updated this week
- Anima: an experimental cognitive architecture that models internal state, conflict, and decision-making. Uses LLMs as an interface, not a…☆45Sep 14, 2026Updated last month
- A high-performance automated trading bot designed for fast and precise execution on Polymarket prediction markets.☆22Sep 21, 2026Updated last month
- Integrative, high-performance BitForge architecture optimizes modern design for scalable, efficient, agile enterprise solutions within a …☆18May 12, 2026Updated 5 months ago
- 2D particle simulation with Coulomb-like forces, toroidal boundaries, and live controls in JavaScript.☆39Jul 3, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Companion and standalone Android app for DCS-World Flightsimulator with map-based route planning and navigation, marker management, inter…☆43Sep 4, 2026Updated last month
- Independently test DTL and sign your verdict — a public registry of cryptographically-signed audits. Reference implementation of the SVR-…☆32Jul 11, 2026Updated 3 months ago
- GitHub Pages root☆40Dec 9, 2025Updated 10 months ago
- a tutorial projects from beginners to advanced☆26May 21, 2026Updated 5 months ago
- Professional EtherVault ethervault-engine with EtherVault-optimized cloud-ready and enterprise ethervault-optimization capabilities☆14May 12, 2026Updated 5 months ago
- Next-generation, cloud-agnostic YarnLink orchestrator enables intelligent automation, yielding optimized yarnlink-engine. implementing mo…☆15May 12, 2026Updated 5 months ago
- A ChatGPT-like chatbot with PHP and Python☆11May 25, 2026Updated 4 months ago