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
- Python library to work with algebraic effects☆72Updated 4 years ago
- Python bindings for dhall, a functional configuration language☆47Updated 3 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆99Updated last year
- Supercharge your Python with parts of Lisp and Haskell.☆93Updated 5 months ago
- ☆17Updated 4 years ago
- Partial evaluation of Python code☆20Updated 2 years ago
- Write compiled bytecode inline with pure Python. 🤖☆75Updated 6 months ago
- Inline Haskell inside your Python code☆25Updated 4 months ago
- hyphen - access Haskell modules from Python☆96Updated 8 months ago
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 3 years ago
- A Language with Dependent Data and Codata Types☆86Updated this week
- A very minimal implementation of the core idea of Hypothesis☆135Updated 8 months ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆147Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆38Updated 3 months ago
- Python bindings for the egg-smol rust library☆68Updated this week
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Continuous benchmarking☆14Updated 2 months ago
- A formal consistency proof of Quine's set theory New Foundations☆68Updated 2 weeks ago
- A library implementing C++'s custom literal suffixes using pure Python.☆34Updated 4 months ago
- Annotate Python AST trees with source text and token information☆177Updated 2 weeks ago
- ☆37Updated 5 years ago
- ☆38Updated this week
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆19Updated last week
- Hanoi tower in Coq☆25Updated 3 months ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- The easiest way to parse text in Python☆102Updated 3 months ago
- Parser Combinator Library for Lean 4☆47Updated 2 weeks ago
- Types for Python☆87Updated 6 years ago
- A Low Barrier Proof Assistant☆78Updated this week
- Put all the objections to PEP 622 in one place.☆32Updated 4 years ago