OriRoth / python-typing-machinesLinks
Python type hints are Turing complete.
☆33Updated 2 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:
- Hypothesis strategies for generating Python programs, something like CSmith☆103Updated last year
- Write compiled bytecode inline with pure Python. 🤖☆77Updated 9 months ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- A library implementing C++'s custom literal suffixes using pure Python.☆35Updated 7 months ago
- ☆17Updated 4 years ago
- Python library to work with algebraic effects☆74Updated 4 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆95Updated 2 months ago
- ☆37Updated 5 years ago
- Types for Python☆87Updated 6 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Algebraic data types for Python (experimental, not actively maintained)☆173Updated 4 years ago
- Programming Language Foundations in Lean☆39Updated 2 months ago
- Python bindings for dhall, a functional configuration language☆48Updated 6 months ago
- Python bindings for the egg-smol rust library☆80Updated last week
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆17Updated 2 years ago
- A Language with Dependent Data and Codata Types☆106Updated 2 weeks ago
- The Daedalus data description language☆72Updated 2 months ago
- 🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/☆60Updated 2 months ago
- ☆33Updated 8 months ago
- Personal research notes☆16Updated 8 months ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆27Updated 2 months ago
- A very minimal implementation of the core idea of Hypothesis☆137Updated 11 months ago
- Alternative algorithm for algebraic subtyping.☆166Updated last month
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Python Typing Intersection examples☆45Updated last year
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆147Updated last year
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 3 months ago