pytorch / expecttestLinks
☆83Updated 4 months ago
Alternatives and similar repositories for expecttest
Users that are interested in expecttest are comparing it to the libraries listed below
Sorting:
- Python S-expression emulation using tuple-like objects.☆23Updated last week
- Python bindings for the egglog rust library☆90Updated last week
- Checkpoint the state of Python programs using Pythonic setjmp and longjmp☆68Updated 4 years ago
- A very minimal implementation of the core idea of Hypothesis☆139Updated last year
- Allows to check regexes for overlaps. Based on greenery by @qntm.☆54Updated last year
- EPython is a typed-subset of the Python for extending the language new builtin types and methods☆40Updated 3 years ago
- ☆17Updated 4 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- An argument that Jupyter Notebooks are flawed and the world needs a successor.☆82Updated 2 years ago
- Domain Specific Languages in Python☆97Updated last year
- Extract semantic information about static Python code☆80Updated last month
- Adaptive fuzzing of Hypothesis tests☆98Updated 3 weeks ago
- Partial evaluation of Python code☆22Updated 2 years ago
- ☆150Updated 3 years ago
- Write compiled bytecode inline with pure Python. 🤖☆81Updated last year
- egraphs-good website☆18Updated last year
- Utilities for run-time type validation and multiple dispatch☆171Updated 2 months ago
- Combine contracts and automatic testing.☆85Updated 3 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆256Updated last week
- Python AST that abstracts the underlying Python version☆146Updated this week
- Python bindings for egg☆49Updated 2 years ago
- a categorical deep learning compiler☆204Updated last month
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- A Low Barrier Proof Assistant☆136Updated last week
- Operator overloading for fast anonymous functions.☆50Updated 2 weeks ago
- The Python programming language☆25Updated 2 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- A declarative drawing API in Python☆297Updated last year
- Declarative instrumentation for Python.☆92Updated 3 months ago