DRMacIver / schroedinteger
Is this integer dead or alive?
☆45Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for schroedinteger
- A very minimal implementation of the core idea of Hypothesis☆127Updated 4 months ago
- Read Watches in Python☆40Updated 11 months ago
- Typemap - The Annotator (TM)☆55Updated 5 years ago
- Literal support for Pyrsistent data structures in Python☆128Updated 3 years ago
- Parse protocols, without any I/O☆46Updated 7 years ago
- ☆55Updated 7 years ago
- Algebraic data types for python☆22Updated 7 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆96Updated 9 months ago
- Network protocol implementations in Python, sans I/O☆129Updated 5 months ago
- Rust-like macros in Python by abusing type annotations☆63Updated 5 years ago
- An implementation of namedtuple written in C for warp speed.☆54Updated 7 years ago
- Python library to work with algebraic effects☆67Updated 4 years ago
- Easy anonymous functions by partial application of operators☆103Updated 11 months ago
- A library for tracking program state☆15Updated 8 years ago
- Grep Python Abstract Syntax Trees (AST) using XPath☆92Updated last month
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 8 years ago
- ☆201Updated last year
- Python code object transformers☆184Updated 8 months ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆62Updated 2 years ago
- ☆72Updated 3 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 3 years ago
- a function parameter type checker; a json validator☆80Updated 9 years ago
- Sum Types, aka Tagged Unions, for Python☆42Updated 2 years ago
- ☆288Updated 10 months ago
- Type-safe functional tools for Python.☆98Updated 3 months ago
- A wrapper around the stdlib `tokenize` which roundtrips.☆53Updated 3 weeks ago
- Supercharge your Python with parts of Lisp and Haskell.☆91Updated last month
- ☆18Updated 6 years ago
- undo in any program that uses readline☆161Updated 6 years ago
- Pattern matching for python☆216Updated 10 years ago