Alternatives and similar repositories for tyche-extension

Users that are interested in tyche-extension are comparing it to the libraries listed below

• flywhl / logis
  Turn your git commit history into a scientific log
  ☆46Updated 7 months ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 2 months ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆97Updated last week
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated 2 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆138Updated last year
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆85Updated 3 years ago
• pytorch / expecttest
  ☆83Updated 4 months ago
• mwshinn / paranoidscientist
  Runtime software verification and automated testing for scientific software in Python
  ☆95Updated last year
• ewjoachim / pypitoken
  Creation & manipulation of PyPI tokens
  ☆12Updated this week
• pschanely / contractual-semver
  Contractual Semver
  ☆27Updated 3 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆24Updated 3 years ago
• janpf / debuggAIr
  Your AI-Powered Debugging Companion 🤖
  ☆11Updated last year
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated last week
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆106Updated last year
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆69Updated 5 months ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 4 years ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆26Updated last year
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• davidbrochart / akernel
  Asynchronous Python Jupyter kernel
  ☆88Updated 2 months ago
• modal-labs / pytest-markdown-docs
  Run pytest on markdown code fence blocks
  ☆73Updated 6 months ago
• StefanUlbrich / design-by-contract
  Handy decorator for elegant design-by-contract in 3.10+
  ☆101Updated 3 years ago
• deathbeds / pidgy
  Interactive computing in Markdown
  ☆44Updated 2 years ago
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated 10 months ago
• breck7 / pytree
  Tree Notation Python Library
  ☆14Updated 2 years ago
• posita / dyce
  Simple Python tools for exploring dice outcomes and other finite discrete probabilities
  ☆40Updated last year
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• breuleux / hrepr
  HTML representation for Python objects.
  ☆17Updated 5 months ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆171Updated 2 months ago
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆143Updated 4 months ago