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☆102Updated last year
- Inline Haskell inside your Python code☆25Updated 6 months ago
- ☆17Updated 4 years ago
- Python bindings for dhall, a functional configuration language☆48Updated 6 months ago
- Partial evaluation of Python code☆21Updated 2 years ago
- Python library to work with algebraic effects☆74Updated 4 years ago
- Write compiled bytecode inline with pure Python. 🤖☆75Updated 9 months ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆95Updated 3 years ago
- A library implementing C++'s custom literal suffixes using pure Python.☆35Updated 6 months ago
- Types for Python☆87Updated 6 years ago
- A very minimal implementation of the core idea of Hypothesis☆137Updated 10 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- hyphen - access Haskell modules from Python☆99Updated 11 months ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 8 months ago
- Supercharge your Python with parts of Lisp and Haskell.☆95Updated last month
- Continuous benchmarking☆17Updated last week
- A Language with Dependent Data and Codata Types☆104Updated 2 weeks ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- Linearizability Hoare Logic☆14Updated 2 months ago
- The IntercalScript programming language☆138Updated 4 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 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
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- A list of dead JIT compiler projects for CPython.☆16Updated 2 years ago
- Annotate Python AST trees with source text and token information☆181Updated last month
- Over 600 fast Python bindings to the CPython C API. 🤯☆61Updated 9 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago