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
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆15Updated last month
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 10 months ago
• mwshinn / paranoidscientist
  Runtime software verification and automated testing for scientific software in Python
  ☆95Updated last year
• StefanUlbrich / design-by-contract
  Handy decorator for elegant design-by-contract in 3.10+
  ☆101Updated 2 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆27Updated 3 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆137Updated last year
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 3 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆95Updated last week
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆84Updated 3 years ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆25Updated last year
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆22Updated 2 years ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• ewjoachim / pypitoken
  Creation & manipulation of PyPI tokens
  ☆12Updated this week
• breuleux / hrepr
  HTML representation for Python objects.
  ☆17Updated 3 months ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆67Updated 3 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆49Updated 10 months ago
• janpf / debuggAIr
  Your AI-Powered Debugging Companion 🤖
  ☆10Updated last year
• endatabas / endb-book
  The Endatabas Book
  ☆16Updated 10 months ago
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 4 years ago
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆13Updated 3 months ago
• thyeem / foc
  A seamless and streamlined functional tool
  ☆103Updated last month
• saulpw / jdot
  JSON minus Notation plus Macros
  ☆23Updated 3 years ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆90Updated 3 months ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• StanfordDataScience / best-practices
  Source files for the Open, Transparent, and Reproducible Data Science Handbook
  ☆49Updated last month
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆63Updated last week
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆28Updated 2 years ago
• AbhinavOmprakash / functionali
  functional programming tools for python
  ☆12Updated 3 years ago
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆65Updated 5 months ago