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 9 months ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆86Updated 3 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆101Updated last month
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆25Updated last month
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆140Updated last year
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated 2 years ago
• mwshinn / paranoidscientist
  Runtime software verification and automated testing for scientific software in Python
  ☆95Updated last year
• breuleux / hrepr
  HTML representation for Python objects.
  ☆17Updated 7 months ago
• ewjoachim / pypitoken
  Creation & manipulation of PyPI tokens
  ☆12Updated last week
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated last year
• tweag / FawltyDeps
  Python dependency checker
  ☆264Updated 5 months ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆107Updated last year
• markshannon / python_formal_semantics
  ☆17Updated 5 years ago
• suned / stateless
  Statically typed, purely functional effects for Python.
  ☆143Updated last month
• coady / placeholder
  Operator overloading for fast anonymous functions.
  ☆50Updated 2 weeks ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 5 years ago
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆16Updated 8 months ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• StefanUlbrich / design-by-contract
  Handy decorator for elegant design-by-contract in 3.10+
  ☆102Updated 3 years ago
• AbhinavOmprakash / functionali
  functional programming tools for python
  ☆12Updated 4 years ago
• jamwil / bulletproof-python
  A magic-free, understandable python project template using tox, pytest, ruff and pip-tools.
  ☆35Updated 7 months ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆172Updated last week
• executablebooks / mdit-py-plugins
  Collection of core plugins for markdown-it-py
  ☆36Updated this week
• posita / dyce
  Simple Python tools for exploring dice outcomes and other finite discrete probabilities
  ☆41Updated last year
• thyeem / foc
  A seamless and streamlined functional tool
  ☆104Updated 6 months ago
• t2y / pytest-quickcheck
  ☆15Updated 3 years ago
• RichardLitt / Quick-tips-for-making-your-software-outlive-your-job
  The paper repository for "10 quick tips for making your software outlive your job"
  ☆19Updated last month
• numpy / numtype
  Experimental Typing Stubs for NumPy
  ☆62Updated this week
• deathbeds / pidgy
  Interactive computing in Markdown
  ☆44Updated 2 years ago
• Freed-Wu / mdformat-ruff
  Mdformat plugin to Blacken Python code blocks
  ☆21Updated 9 months ago