OriRoth / python-typing-machines
Python type hints are Turing complete.
☆29Updated last year
Related projects: ⓘ
- Python library to work with algebraic effects☆66Updated 3 years ago
- Up-to-date and maintained python bindings for dhall, a functional configuration language☆44Updated 11 months ago
- Write compiled bytecode inline with pure Python. 🤖☆76Updated 2 weeks ago
- Hypothesis strategies for generating Python programs, something like CSmith☆94Updated 7 months ago
- A very minimal implementation of the core idea of Hypothesis☆123Updated 2 months ago
- hyphen - access Haskell modules from Python☆86Updated 2 months ago
- ☆17Updated 3 years ago
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 3 years ago
- Inline Haskell inside your Python code☆25Updated 2 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Python bindings for the egg-smol rust library☆62Updated last week
- A library implementing C++'s custom literal suffixes using pure Python.☆34Updated last year
- The easiest way to parse text in Python☆98Updated 4 months ago
- Types for Python☆85Updated 5 years ago
- A Language with Dependent Data and Codata Types☆47Updated this week
- Sum Types, aka Tagged Unions, for Python☆42Updated 2 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 3 years ago
- Programmable, human-readable inlining of Python code☆29Updated last year
- Supercharge your Python with parts of Lisp and Haskell.☆88Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆31Updated 11 months ago
- Semi-Automated Python Proof Assistant☆51Updated this week
- Pure functional programming with whole-program mutability inference☆42Updated this week
- Shrinkray is a modern multi-format test-case reducer☆86Updated last month
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆9Updated last month
- EGraphs in OCaml☆59Updated 8 months ago
- Statically typed, purely functional effects for Python.☆65Updated 3 months ago
- Extract semantic information about static Python code☆69Updated 2 months ago
- Annotate Python AST trees with source text and token information☆172Updated 2 months ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆39Updated 2 months ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆15Updated 2 years ago