pytorch / expecttestLinks
☆86Updated 7 months ago
Alternatives and similar repositories for expecttest
Users that are interested in expecttest are comparing it to the libraries listed below
Sorting:
- Python bindings for the egglog rust library☆96Updated this week
- Python S-expression emulation using tuple-like objects.☆25Updated 3 months ago
- An argument that Jupyter Notebooks are flawed and the world needs a successor.☆88Updated 2 years ago
- A very minimal implementation of the core idea of Hypothesis☆140Updated last year
- EPython is a typed-subset of the Python for extending the language new builtin types and methods☆40Updated 3 years ago
- Checkpoint the state of Python programs using Pythonic setjmp and longjmp☆68Updated 5 years ago
- Declarative instrumentation for Python.☆102Updated this week
- Better bindings for Python☆19Updated 2 years ago
- Benchmark structured generation libraries☆30Updated last year
- a categorical deep learning compiler☆207Updated 3 months ago
- A python implementation of delta debugging tool.☆26Updated last year
- ☆29Updated 2 weeks ago
- Hypothesis strategies for generating Python programs, something like CSmith☆110Updated last year
- ☆153Updated 3 years ago
- ☆123Updated 3 years ago
- Operator overloading for fast anonymous functions.☆50Updated last week
- Adaptive fuzzing of Hypothesis tests☆107Updated last month
- ☆18Updated 5 years ago
- Collection of eclectic utils for python.☆248Updated last week
- Extract semantic information about static Python code☆81Updated last month
- Allows to check regexes for overlaps. Based on greenery by @qntm.☆56Updated last year
- Python library to work with algebraic effects☆80Updated 5 years ago
- Python bindings for egg☆50Updated 3 years ago
- A thin, highly portable toolkit for efficiently compiling dense loop-based computation.☆149Updated 3 years ago
- Utilities for run-time type validation and multiple dispatch☆172Updated last month
- Write compiled bytecode inline with pure Python. 🤖☆82Updated last year
- Domain Specific Languages in Python☆97Updated 2 years ago
- Python interpreter for TLA+ specifications☆116Updated last year
- Partial evaluation of Python code☆22Updated 2 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆269Updated this week