OriRoth / python-typing-machines
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
- Write compiled bytecode inline with pure Python. π€β75Updated 6 months ago
- Python library to work with algebraic effectsβ72Updated 4 years ago
- A library implementing C++'s custom literal suffixes using pure Python.β34Updated 4 months ago
- Hypothesis strategies for generating Python programs, something like CSmithβ99Updated last year
- Continuous benchmarkingβ14Updated 2 months ago
- Inline Haskell inside your Python codeβ25Updated 4 months ago
- Python bindings for dhall, a functional configuration languageβ47Updated 3 months ago
- A universal Python parser combinator library inspired by Parsec library of Haskell.β218Updated 9 months ago
- Algebraic data types for Python (experimental, not actively maintained)β172Updated 3 years ago
- Supercharge your Python with parts of Lisp and Haskell.β93Updated 5 months ago
- A Language with Dependent Data and Codata Typesβ86Updated this week
- A list of dead JIT compiler projects for CPython.β16Updated 2 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]β18Updated this week
- The easiest way to parse text in Pythonβ102Updated 3 months ago
- Partial evaluation of Python codeβ20Updated 2 years ago
- hyphen - access Haskell modules from Pythonβ96Updated 8 months ago
- A compiler and runtime for normalizing the untyped Ξ»-calculusβ31Updated 3 years ago
- Programmable, human-readable inlining of Python codeβ28Updated 2 years ago
- β38Updated last week
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.β44Updated this week
- Strong Type Hints with Traitsβ11Updated 4 years ago
- β17Updated 4 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"β37Updated 2 months ago
- Try Pyright in your browserβ21Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matchingβ80Updated 4 years ago
- A Low Barrier Proof Assistantβ78Updated last week
- Straightforward unification in Python that's extensible via generic functions.β48Updated 6 months ago
- The IntercalScript programming languageβ136Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"β31Updated last year
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regionsβ¦β62Updated last year