Alternatives and similar repositories for expecttest

Users that are interested in expecttest are comparing it to the libraries listed below

• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆80Updated this week
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• Zac-HD / stdlib-property-tests
  Property-based tests for the Python standard library (and builtins)
  ☆27Updated 3 years ago
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆77Updated 3 weeks ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆103Updated last year
• Quantco / spox
  Pythonic framework for building ONNX graphs
  ☆85Updated this week
• google / etils
  Collection of eclectic utils for python.
  ☆229Updated this week
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆90Updated 2 months ago
• typilus / typilus-action
  A GitHub Action for suggesting Python type annotations.
  ☆42Updated 2 years ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆24Updated last year
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated last week
• beartype / numerary
  A pure-Python codified rant aspiring to a world where numbers and types can work together.
  ☆41Updated 10 months ago
• chrisgrimm / better_partial
  ☆123Updated 3 years ago
• ezyang / pl-class-public
  Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
  ☆37Updated 3 years ago
• a-rahimi / python-checkpointing2
  Checkpoint the state of Python programs using Pythonic setjmp and longjmp
  ☆67Updated 4 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆137Updated 11 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 8 months ago
• suo / lintrunner
  ☆28Updated this week
• data-apis / array-api-comparison
  Data and tooling to compare the API surfaces of various array libraries.
  ☆56Updated 2 weeks ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆167Updated 3 months ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆64Updated last month
• nunoplopes / torchy
  A tracing JIT compiler for PyTorch
  ☆13Updated 3 years ago
• max-sixty / pytest-accept
  A pytest plugin for automatically updating doctest outputs
  ☆63Updated last week
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆74Updated 4 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆33Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆95Updated this week
• facebookresearch / loop_tool
  A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
  ☆148Updated 2 years ago
• fpottier / mpri-2.4-projet-2022-2023
  A programming project on automatic differentiation in OCaml
  ☆12Updated 2 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆113Updated this week