DRMacIver / schroedintegerLinks
Is this integer dead or alive?
☆45Updated 8 years ago
Alternatives and similar repositories for schroedinteger
Users that are interested in schroedinteger are comparing it to the libraries listed below
Sorting:
- A very minimal implementation of the core idea of Hypothesis☆137Updated last year
- Typemap - The Annotator (TM)☆55Updated 6 years ago
- ☆17Updated 4 years ago
- Read Watches in Python☆41Updated last year
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- Rust-like macros in Python by abusing type annotations☆63Updated 6 years ago
- Python library to work with algebraic effects☆80Updated 4 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Python code object transformers☆184Updated last year
- undo in any program that uses readline☆162Updated 7 years ago
- An experiment to use infix operators in Python☆57Updated 6 years ago
- A library for tracking program state☆15Updated 9 years ago
- Pattern matching for python☆218Updated 11 years ago
- Easy anonymous functions by partial application of operators☆102Updated last year
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆249Updated 3 months ago
- Network protocol implementations in Python, sans I/O☆147Updated 2 months ago
- A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…☆59Updated 12 years ago
- Algebraic data types for Python (experimental, not actively maintained)☆172Updated 4 years ago
- Algebraic data types for python☆22Updated 8 years ago
- EPIC CUCUMBERS!☆28Updated 7 years ago
- 301 moved permanently https://github.com/python-parsy/parsy☆42Updated 7 years ago
- Parse protocols, without any I/O☆48Updated 7 years ago
- Programmable, human-readable inlining of Python code☆28Updated 2 years ago
- A command-line utility for pulling code blocks out of markdown files.☆14Updated 3 years ago
- ☆285Updated last year
- A Python Macaroon Library☆81Updated last year
- Type-safe functional tools for Python.☆97Updated last year
- Supercharge your Python with parts of Lisp and Haskell.☆99Updated 4 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- A python parser that builds python ASTs in 502 lines of python without using modules☆61Updated 6 years ago