Re-apply type annotations from .pyi stubs to your codebase.
- python
- python3
- typing
- type-checking
65,264 visible repositories in the index
385–408 of 472 · Most stars
Re-apply type annotations from .pyi stubs to your codebase.
An LLM running on an NPU inside an LLM. Karpathy's stories260K writing stories on a vector unit compiled into Qwen3.5-4B's weights.
:whale: Keep an eye on your docker image size and prevent it from growing too big
JevStyle: local decision models for AI agents. Classify, route and score with a probability per option. systemone-compatible local server, MCP tools, Claude Code guard. Open weights, Apache-2.0.
Configure Python functions explicitly and safely
Randomly changes Win32/64 PE Files for 'safer' uploading to malware and sandbox sites.
Python promises
ro.py is a modern, asynchronous Python 3 wrapper for the Roblox API.
CloudPeek is a lightweight, cross-platform, single-header C++ point cloud viewer. It’s designed for simplicity and efficiency, requiring no heavy libraries like PCL or Open3D. Ideal for visualizing and interacting with 3D data from LiDAR, photogrammetry, or other datasets, CloudPeek delivers powerful, real-time exploration in a minimalistic package
Python typing koans to learn type-hints in Python3 using Mypy
A minimal bitcoin library for MicroPython and Python3 with a focus on embedded systems
Qwen3.5-2B with a SIMT GPU inside its weights, 45 compiled layers in front of Qwen’s own, using its Gated DeltaNet layers as registers and memory.
A decompilation and future source port of Roblox (December 2007)
Parse And Create Web ARChive (WARC) files with node.js
TakaTime is a blazingly fast, privacy-first coding activity tracker and the open-source, self-hosted alternative to WakaTime. Track your development activity across Neovim, VS Code, JetBrains IDEs, and Antigravity while generating rich analytics, beautiful dashboards, and GitHub profile statistics—all powered by your own MongoDB database.
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
Construct dynamic zones that utilise region checking, raycasting and the new BasePart.CanTouch property to effectively determine players and parts within their boundaries.
Awesome and Best FastHTML Resources For Python Developers
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
MERK is an open source, cross-platform, multiple-document interface GUI IRC client for Windows, Linux, and macOS written in Python, PyQt5, and Twisted.
Scala Native GUI framework
Common Lisp Win32 GUI library
api for liquipedia.net
A python3 library for performing an enhanced scapy Multi-Traceroute (MTR) with resulting SVG visual.