Python type hints are Turing complete.
☆33Nov 24, 2022Updated 3 years ago
Alternatives and similar repositories for python-typing-machines
Users that are interested in python-typing-machines are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Cross platform screen capture library☆13Feb 28, 2025Updated last year
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆17May 25, 2022Updated 4 years ago
- A fluent API generator☆27Jan 26, 2026Updated 9 months ago
- A functional fluent API generator☆36Dec 30, 2022Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A strongly-typed, compiled dialect of Python.☆13Jan 28, 2024Updated 2 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- Bad Apple but it's an SVG using SMIL☆15Aug 30, 2023Updated 3 years ago
- Mypyc runtime library☆16Sep 28, 2026Updated last month
- 🔍 Code Search Tools & Experiments☆13Oct 21, 2026Updated last week
- Challenging SAT benchmarks for matrix multiplication☆13Oct 28, 2021Updated 5 years ago
- Advanced macro expander and language lab for Python. Py3.10-3.14.☆73Updated this week
- ☆12Jan 25, 2018Updated 8 years ago
- A library for working with Python modules☆19Apr 23, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Generate PEP 484 type annotations from docstrings☆29Jun 10, 2019Updated 7 years ago
- A plugin for Flake8 that provides specializations for type hinting stub files☆84Oct 6, 2026Updated 3 weeks ago
- Hatch build hook plugin for Mypyc☆55Jun 30, 2024Updated 2 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆28Apr 20, 2021Updated 5 years ago
- API to interact with the python pyproject.toml based projects☆25Updated this week
- pytest plugin to test mypy static type analysis☆34Jan 26, 2026Updated 9 months ago
- A Modding Framework to ease the creation of new Spells in the game Spellforce Platinum Edition☆15Oct 18, 2026Updated last week
- One-pass Code Generation in V8 (Archive)☆20Aug 26, 2022Updated 4 years ago
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ✂️ Syntax correction in context-free languages.☆27Oct 10, 2026Updated 3 weeks ago
- ☆19Dec 9, 2025Updated 10 months ago
- Datalog + Egg = Good☆67May 31, 2023Updated 3 years ago
- Type stubs for the tensorflow library☆17Aug 30, 2018Updated 8 years ago
- Incremental Build Verification☆17Apr 21, 2024Updated 2 years ago
- Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in…☆46Mar 29, 2026Updated 7 months ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 3 weeks ago
- Parallel Environment for optimal Lambda Calculus Reduction☆30Jul 5, 2026Updated 3 months ago
- Analysis of one crazy segfault in ripgrep☆20Jul 28, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An IntelliJ-based IDE plugin for Python AST transformations☆19Aug 16, 2023Updated 3 years ago
- How many interface{} are there in your project?☆16Aug 2, 2021Updated 5 years ago
- C4 Model (Structurizr) to Markdown☆14Updated this week
- Proof of concept that swaps integers 8 and 9 on import☆11Aug 8, 2023Updated 3 years ago
- Char-by-char iterator and `read_char` method for `BufRead`.☆12May 11, 2026Updated 5 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆120Feb 16, 2024Updated 2 years ago
- Type annotations for SQLAlchemy☆25Nov 13, 2018Updated 7 years ago