Optional static typing for Python 2 and 3 (PEP484)
☆26Oct 31, 2020Updated 5 years ago
Alternatives and similar repositories for mypy
Users that are interested in mypy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Feb 15, 2017Updated 9 years ago
- Dummy for mypy-lang☆10Sep 7, 2017Updated 8 years ago
- Stubs and thoughts about PEP 550☆12Dec 8, 2017Updated 8 years ago
- Pyjion - A JIT for Python based upon CoreCLR☆16Jun 5, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/ballot-box☆17Mar 14, 2015Updated 11 years ago
- 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.
- This project is the asyncio module for Python 3.3. Since Python 3.4, asyncio is part of the standard library.☆21Oct 19, 2015Updated 10 years ago
- Reconstructed source code for pythonlabs.com☆26Mar 2, 2026Updated 2 months ago
- ☆22Nov 30, 2020Updated 5 years ago
- CWI's HPND-licensed STDWIN lib from the '90s, optional GUI lib in several 1.x Python versions, now hard to find (searched an FTP indexer …☆16Apr 18, 2017Updated 9 years ago
- A Python 3 extension for writing structured and reusable inline HTML.☆169Jan 29, 2020Updated 6 years ago
- The Python programming language☆271Mar 14, 2026Updated last month
- Guido's time machine☆104Mar 5, 2020Updated 6 years ago
- 500 Lines or Less☆321Jan 9, 2023Updated 3 years ago
- PyLadies resources for open source project maintainers, core developers (including CPython), and aspiring project maintainers and core de…☆32Dec 4, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆29Feb 11, 2021Updated 5 years ago
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 13 years ago
- ابزار ساده برای هک اکانت های بلاگفاBlogfa.com [password] cracker python tool { this tool for crack passwords from blogfa.com } ابزار پای…☆11Mar 22, 2023Updated 3 years ago
- 자바스크립트의 기초 + (ES6문법, 심화 문법)☆10Feb 6, 2021Updated 5 years ago
- PEP 563: Postponed Evaluation of Annotations☆16Dec 5, 2017Updated 8 years ago
- Gerber274x viewer using with c++ and opencv☆11Mar 14, 2026Updated last month
- ☆13May 27, 2022Updated 3 years ago
- My fork of microsoft/semanticworkbench☆14Oct 15, 2024Updated last year
- Paypal integration with expo ReactNative☆19Mar 18, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- core framework for tgsnake for connecting to telegram api☆10Jul 17, 2022Updated 3 years ago
- File encryption and decryption using the Hill Cipher algorithm☆27Feb 4, 2020Updated 6 years ago
- ☆12Sep 8, 2022Updated 3 years ago
- [Flutter] 오늘도 출근 앱 프로젝트☆10May 4, 2024Updated 2 years ago
- Pattern Matching☆1,041Jun 2, 2022Updated 3 years ago
- Issues related to evolution of the C API☆18Jan 9, 2026Updated 3 months ago
- Android port of OpenArena 0.8.8 client/server, based on undeadzy's ioq3 port☆14Jun 6, 2021Updated 4 years ago
- TypeChat is a library that makes it easy to build natural language interfaces using types.☆13May 8, 2024Updated last year
- A bookmarket to add bubble cursor functionality to any website.☆27Oct 4, 2010Updated 15 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Nim bindings to Chipmunk, a fast and lightweight 2D game physics library☆13Nov 14, 2023Updated 2 years ago
- ☆17Jan 5, 2023Updated 3 years ago
- 📚✏ 파이썬 문법, 정리정돈☆13Jan 3, 2021Updated 5 years ago
- Hello World in different languages !☆13Sep 8, 2022Updated 3 years ago
- [CERT] SQL개발자/SQL전문가 SQL 실무 ISO27001 ISMS-P☆11May 4, 2024Updated 2 years ago
- a mini web project for searching the weather of your location☆10May 3, 2022Updated 4 years ago
- List of useful resources, tools and notes☆12Jul 30, 2024Updated last year