pytorch / expecttestLinks
☆84Updated 2 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 egg-smol rust library☆82Updated this week
- A very minimal implementation of the core idea of Hypothesis☆137Updated last year
- Checkpoint the state of Python programs using Pythonic setjmp and longjmp☆67Updated 4 years ago
- EPython is a typed-subset of the Python for extending the language new builtin types and methods☆40Updated 3 years ago
- Python S-expression emulation using tuple-like objects.☆22Updated 3 weeks ago
- Adaptive fuzzing of Hypothesis tests☆95Updated last week
- Allows to check regexes for overlaps. Based on greenery by @qntm.☆53Updated last year
- An argument that Jupyter Notebooks are flawed and the world needs a successor.☆80Updated 2 years ago
- Python library to work with algebraic effects☆80Updated 4 years ago
- A Low Barrier Proof Assistant☆119Updated this week
- Annotate Python AST trees with source text and token information☆183Updated last month
- Python AST that abstracts the underlying Python version☆146Updated 5 months ago
- Domain Specific Languages in Python☆97Updated last year
- ☆17Updated 4 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- ☆28Updated last month
- Python bindings for egg☆49Updated 2 years ago
- Operator overloading for fast anonymous functions.☆50Updated last week
- Utilities for run-time type validation and multiple dispatch☆168Updated 5 months ago
- Write compiled bytecode inline with pure Python. 🤖☆78Updated 11 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Declarative instrumentation for Python.☆91Updated 2 weeks ago
- ☆47Updated 2 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Python interpreter for TLA+ specifications☆113Updated last year
- A declarative drawing API in Python☆295Updated 11 months ago
- ☆149Updated 2 years ago
- Extract semantic information about static Python code☆77Updated 2 months ago
- Formalizing stochastic doubly-efficient debate☆107Updated 9 months ago
- Straightforward unification in Python that's extensible via generic functions.☆49Updated 11 months ago