The mypy playground. Try mypy with your web browser.
- python
- mypy
- docker
- playground
58,136 visible repositories in the index
3,289–3,312 of 3,912 · Most stars
The mypy playground. Try mypy with your web browser.
A command-line tool for reducing the size of GeoJSON files.
Run your coding agents from Telegram. A bridge for Claude Code, Codex, OpenCode, Pi and Antigravity CLI: send tasks by text or voice, watch them work and approve changes from your phone.
MERK is an open source, cross-platform, multiple-document interface GUI IRC client for Windows, Linux, and macOS written in Python, PyQt5, and Twisted.
A micro DNS server for MicroPython to simply respond to A queries on multi-domains with or without wildcards (used on Pycom modules & ESP32)
Turms is a pure python implementation of the awesome graphql-codegen library, following a simliar extensible design.
Assigns priority scores to audio and subtitle tracks in MKV files
PyTorch implementation of the MIDAS algorithm for single-cell multimodal data integration (Nature Biotechnology 2024).
Text drawing library for MicroPython framebuffer
A release automation tool which makes releasing catkin (http://ros.org/wiki/catkin) packages easier.
An async Python 3.11+ PocketBase SDK
Fragscapy is a command-line tool to fuzz network protocols by automating the modification of outgoing network packets. It can run multiple successive tests to determine which options can be used to evade firewalls and IDS.
Open standard for Provenance & Intent Contracts (PIC) in AI agents. Verify intent, provenance, and evidence before high-impact tool calls.
I can keep a SSHecret
Framework agnostic set of sqlalchemy classes that make building applications that require permissions an easy task.
Realistic synthetic events for testing, demos, and pipelines — streamed live or generated in bulk
ThreatTracker is a Python script designed to monitor and generate alerts on given sets of indicators of compromise (IOCs) indexed by a set of Google Custom Search Engines.
git checkout for releases that span many repos. Version tags that restore your whole product. No server, no database, any language.
Push-to-talk voice dictation for Linux. 100% local, multilingual (25+ languages), with speaker diarization. Qt frontend, Rust backend on NVIDIA Parakeet via ONNX Runtime. KDE Plasmoid integrated.
A python3 library for performing an enhanced scapy Multi-Traceroute (MTR) with resulting SVG visual.
A Simple Example for Imitation Learning with Dataset Aggregation (DAGGER) on Torcs Env
:leaves: Powerful schema-less ODM for MongoDB and Python (sync + async)
Py2neo is a comprehensive toolkit for working with Neo4j from within Python applications or from the command line.
📚 Only Cite what you can verify