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
- A functional fluent API generator☆36Dec 30, 2022Updated 3 years ago
- A strongly-typed, compiled dialect of Python.☆13Jan 28, 2024Updated 2 years ago
- Cross platform screen capture library☆13Feb 28, 2025Updated last year
- Demo project to demonstrate different ways to create standalone selfcontained app in python☆10Nov 12, 2023Updated 2 years 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.
- A fluent API generator☆26Jan 26, 2026Updated 7 months ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆17May 25, 2022Updated 4 years ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Feb 7, 2024Updated 2 years ago
- Infer Python types from JSON data, use them for auto serialisation and parsing☆13Oct 27, 2023Updated 2 years ago
- Fluent API generator☆42Jan 23, 2026Updated 7 months ago
- 🔍 Code Search Tools & Experiments☆13Sep 1, 2026Updated 2 weeks ago
- A report formatter for Bandit (a Python security analyzer) that produces output in the SARIF format.☆20Sep 19, 2023Updated 3 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Feb 28, 2022Updated 4 years ago
- Handle side-effects in Python like a boss. Implements functional types for Either, Option, Try, and Future.☆34Jul 15, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Slides from PyCon Ukraine 2018☆12May 2, 2018Updated 8 years ago
- Challenging SAT benchmarks for matrix multiplication☆13Oct 28, 2021Updated 4 years ago
- pytest plugin to test mypy static type analysis☆34Jan 26, 2026Updated 7 months ago
- A fast Python zygote process☆18Oct 17, 2021Updated 4 years ago
- Various mechanized proof files for fun.☆15Aug 30, 2026Updated 2 weeks ago
- Backup easily your system with Bitwarden, BorgBase and Docker☆21Jun 4, 2026Updated 3 months ago
- Operator overloading for fast anonymous functions.☆52Aug 11, 2026Updated last month
- A namedtuple-style library for defining immutable sum types in Python.☆28Apr 20, 2021Updated 5 years ago
- A plugin for Flake8 that provides specializations for type hinting stub files☆83Jul 24, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Learning platform for category theory in python☆17Updated this week
- An example project to demonstrate https://github.com/rvantonder/hack-parallel☆13May 18, 2020Updated 6 years ago
- One-pass Code Generation in V8 (Archive)☆20Aug 26, 2022Updated 4 years ago
- ✂️ Syntax correction in context-free languages.☆27Sep 8, 2026Updated last week
- Inspired by typelang, a lisp implemented in typescript's type engine☆12Aug 25, 2024Updated 2 years ago
- A microKanren framework for implementing constraints.☆19Aug 13, 2026Updated last month
- Shumway is a Flash VM and runtime written in JavaScript☆10Sep 11, 2019Updated 7 years ago
- Incremental Build Verification☆17Apr 21, 2024Updated 2 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆29Jul 5, 2026Updated 2 months 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.
- An IntelliJ-based IDE plugin for Python AST transformations☆19Aug 16, 2023Updated 3 years ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Nov 26, 2016Updated 9 years ago
- Игрушечный, но душный репозиторий около Memory Models☆22Aug 5, 2026Updated last month
- ☆20Nov 26, 2024Updated last year
- Set environment variables from 1Password Secure Notes☆17Sep 26, 2022Updated 3 years ago
- Scripts and actions to auto-upload typeshed stubs to PyPI☆37Updated this week
- Type hints for Trio and related projects☆29Oct 24, 2024Updated last year