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 5 months ago
• ewjoachim / pypitoken
  Creation & manipulation of PyPI tokens
  ☆12Updated 2 weeks ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆96Updated this week
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆137Updated last year
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆24Updated 2 years ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆84Updated 3 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆27Updated 3 years ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆25Updated last year
• modal-labs / pytest-markdown-docs
  Run pytest on markdown code fence blocks
  ☆70Updated 4 months ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 4 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 3 weeks ago
• StefanUlbrich / design-by-contract
  Handy decorator for elegant design-by-contract in 3.10+
  ☆101Updated 2 years ago
• mwshinn / paranoidscientist
  Runtime software verification and automated testing for scientific software in Python
  ☆95Updated last year
• datasette / datasette-write-ui
  A Datasette plugin that adds UI elements to edit, insert, or delete rows in SQLite tables
  ☆20Updated 6 months ago
• deathbeds / pidgy
  Interactive computing in Markdown
  ☆44Updated 2 years ago
• jeprinz / pantograph
  ☆93Updated 6 months ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• jamwil / bulletproof-python
  A magic-free, understandable python project template using tox, pytest, ruff and pip-tools.
  ☆35Updated 3 months ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆106Updated last year
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 4 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆120Updated this week
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 3 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆64Updated last week
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆37Updated 2 weeks ago
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆143Updated 2 months ago
• bluefishjs / bluefish-archive
  A SolidJS diagramming framework
  ☆74Updated 11 months ago
• thyeem / foc
  A seamless and streamlined functional tool
  ☆104Updated 2 months ago
• asottile / dict-unpacking-at-home
  can we have dict unpacking in python?
  ☆94Updated 4 months ago
• endatabas / endb-book
  The Endatabas Book
  ☆16Updated 11 months ago
• t2y / pytest-quickcheck
  ☆15Updated 2 years ago