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
Sorting:
- 🔍 Code Search Tools & Experiments☆12Updated this week
- A functional fluent API generator☆36Dec 30, 2022Updated 3 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- Incremental Build Verification☆17Apr 21, 2024Updated last year
- Fluent API generator☆42Jan 23, 2026Updated last month
- Parallel Environment for optimal Lambda Calculus Reduction☆28Jun 13, 2022Updated 3 years ago
- A compile-time Computer Algebra System (CAS) library (with some geometry)☆21Feb 15, 2023Updated 3 years ago
- A fluent API generator☆26Jan 26, 2026Updated last month
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Apr 20, 2021Updated 4 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Feb 28, 2022Updated 4 years ago
- Some papers on "Lambda Calculus"☆34Nov 8, 2025Updated 3 months ago
- Generate PEP 484 type annotations from docstrings☆29Jun 10, 2019Updated 6 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- pytest plugin to test mypy static type analysis☆34Jan 26, 2026Updated last month
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 3 weeks ago
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago
- Kanren with databases☆44Jul 30, 2024Updated last year
- ☆71Jun 12, 2020Updated 5 years ago
- Vocal Prism — Privacy-first, local AI audio transcription for macOS (Whisper → CoreML, Apple Silicon‑optimized).☆27Jan 15, 2026Updated last month
- Text & sentiment analysis of WhatsApp chat data.☆10Feb 3, 2020Updated 6 years ago
- ☆11Jul 13, 2022Updated 3 years ago
- Revisiting Whittaker-Henderson Smoothing☆11Jun 19, 2025Updated 8 months ago
- Generalized Optimal Transport Attention with Trainable Priors☆22Jan 25, 2026Updated last month
- ☆22Jun 10, 2025Updated 8 months ago
- MVP for updated PEP 543 proposal☆14Feb 13, 2026Updated 2 weeks ago
- Fully Local Push-to-Transcribe☆18Nov 6, 2025Updated 3 months ago
- C++ template containers with optimized memory consumption☆12Feb 17, 2026Updated last week
- WorldPalette is a Maya plugin based on the 2015 SIGGRAPH paper, WorldBrush: Interactive Example-based Synthesis of Procedural Virtual Wor…☆11May 10, 2021Updated 4 years ago
- Python library to convert MathML to OMML (Office Math Markup Language)☆10Nov 24, 2019Updated 6 years ago
- ☆12Nov 22, 2024Updated last year
- The Next Generation of Compositional Programming☆56Jan 27, 2026Updated last month
- Operator overloading for fast anonymous functions.☆50Feb 20, 2026Updated last week
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆54Updated this week
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Apr 2, 2019Updated 6 years ago
- Purely functional data structures in Java☆39May 14, 2021Updated 4 years ago
- Chocolatey packages for JetBrains products.☆15Sep 22, 2017Updated 8 years ago
- Dynamic analysis tool to find memory overlaps in an executable☆10Apr 25, 2022Updated 3 years ago
- ☆15Jul 13, 2019Updated 6 years ago