pytorch / expecttest

Related projects ⓘ

Alternatives and complementary repositories for expecttest

• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆65Updated this week
• epython-dev / epython
  EPython is a typed-subset of the Python for extending the language new builtin types and methods
  ☆40Updated 2 years ago
• philzook58 / knuckledragger
  Semi-Automated Python Proof Assistant
  ☆54Updated last week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆127Updated 4 months ago
• a-rahimi / python-checkpointing2
  Checkpoint the state of Python programs using Pythonic setjmp and longjmp
  ☆67Updated 3 years ago
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated this week
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆70Updated last month
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆88Updated last month
• markshannon / python_formal_semantics
  ☆17Updated 3 years ago
• RightTyper / RightTyper
  A fast and efficient type assistant for Python, including tensor shape inference
  ☆15Updated this week
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆163Updated last month
• egraphs-good / snake-egg
  Python bindings for egg
  ☆47Updated last year
• metadsl / metadsl
  Domain Specific Languages in Python
  ☆97Updated 11 months ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆96Updated 9 months ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• modal-labs / pytest-markdown-docs
  Run pytest on markdown code fence blocks
  ☆57Updated last week
• cpcloud / numbsql
  Run Numba compiled functions in SQLite
  ☆40Updated this week
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆82Updated last month
• metadsl / python-code-data
  Translate Python's bytecode to data and back again...
  ☆18Updated 3 weeks ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆20Updated 2 years ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 3 years ago
• pypackaging-native / pypackaging-native
  A collection of content about key Python packaging topics and issues for projects using native code
  ☆145Updated 4 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆62Updated 5 months ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆67Updated 4 years ago
• DRMacIver / shrinkray
  Shrinkray is a modern multi-format test-case reducer
  ☆94Updated last month
• facebookresearch / loop_tool
  A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
  ☆148Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆30Updated 2 years ago
• gerrymanoim / libpy_simdjson
  Python bindings for simdjson using libpy
  ☆63Updated last year
• ezyang / tlparse
  TORCH_LOGS parser for PT2
  ☆22Updated this week