DRMacIver / schroedinteger
Is this integer dead or alive?
☆45Updated 7 years ago
Alternatives and similar repositories for schroedinteger:
Users that are interested in schroedinteger are comparing it to the libraries listed below
- Literal support for Pyrsistent data structures in Python☆128Updated 3 years ago
- ☆56Updated 7 years ago
- A very minimal implementation of the core idea of Hypothesis☆133Updated 6 months ago
- Typemap - The Annotator (TM)☆55Updated 6 years ago
- Read Watches in Python☆40Updated last year
- Easy anonymous functions by partial application of operators☆103Updated last year
- Rust-like macros in Python by abusing type annotations☆63Updated 5 years ago
- Network protocol implementations in Python, sans I/O☆136Updated last month
- Parse protocols, without any I/O☆47Updated 7 years ago
- Type-safe functional tools for Python.☆97Updated 5 months ago
- ☆201Updated last year
- Calculate your open source contributions☆18Updated 4 years ago
- A Python DB-API abstraction module.☆27Updated 7 years ago
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting☆46Updated 8 years ago
- ☆17Updated 4 years ago
- A small forth-like language that targets the CPython VM.☆52Updated 6 years ago
- An experiment to use infix operators in Python☆56Updated 6 years ago
- metaprogramming for don't-repeat-yourself Python☆22Updated 5 years ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆62Updated 2 years ago
- ☆72Updated 3 years ago
- Combine contracts and automatic testing.☆78Updated 2 years ago
- The Python programming language☆47Updated 3 years ago
- An implementation of namedtuple written in C for warp speed.☆54Updated 7 years ago
- Python code object transformers☆184Updated 11 months ago
- Custom Python linting through AST expressions☆267Updated last year
- Python library to work with algebraic effects☆70Updated 4 years ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- ☆285Updated last year
- I will write this later...☆270Updated 7 years ago