pytorch / expecttest

Related projects ⓘ

Alternatives and complementary repositories for expecttest

• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆64Updated this week
• philzook58 / knuckledragger
  Semi-Automated Python Proof Assistant
  ☆53Updated this week
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 months ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆69Updated 3 weeks ago
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated this week
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆95Updated 8 months ago
• epython-dev / epython
  EPython is a typed-subset of the Python for extending the language new builtin types and methods
  ☆40Updated 2 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆29Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• brandtbucher / hax
  Write compiled bytecode inline with pure Python. 🤖
  ☆76Updated 2 months ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆161Updated 3 weeks ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 4 months ago
• a-rahimi / python-checkpointing2
  Checkpoint the state of Python programs using Pythonic setjmp and longjmp
  ☆65Updated 3 years ago
• chrisgrimm / better_partial
  ☆122Updated 2 years ago
• metadsl / python-code-data
  Translate Python's bytecode to data and back again...
  ☆18Updated last week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆127Updated 4 months ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 3 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆47Updated last year
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated 11 months ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 5 months ago
• gristlabs / asttokens
  Annotate Python AST trees with source text and token information
  ☆172Updated last month
• cpcloud / numbsql
  Run Numba compiled functions in SQLite
  ☆40Updated this week
• psf / webassembly
  A repo to track the progress of Python on WebAssembly (WASM)
  ☆49Updated 3 weeks ago
• data-apis / array-api-comparison
  Data and tooling to compare the API surfaces of various array libraries.
  ☆54Updated 5 months ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆82Updated last month
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆22Updated 5 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆20Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year