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 8 months ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated 2 years ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆98Updated last month
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated last week
• ewjoachim / pypitoken
  Creation & manipulation of PyPI tokens
  ☆12Updated last week
• pschanely / contractual-semver
  Contractual Semver
  ☆28Updated 3 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆67Updated 3 months ago
• hitchdev / hitchstory
  Type-safe YAML integration tests. Tests that write your docs. Tests that rewrite themselves.
  ☆101Updated last year
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆139Updated last year
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆86Updated 3 years ago
• earldouglas / codedown
  Extract code blocks from Markdown files
  ☆87Updated 3 months ago
• pytorch / expecttest
  ☆84Updated 4 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆25Updated 2 weeks ago
• orsinium-labs / eff
  Python library to work with algebraic effects
  ☆80Updated 4 years ago
• StefanUlbrich / design-by-contract
  Handy decorator for elegant design-by-contract in 3.10+
  ☆102Updated 3 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• mwshinn / paranoidscientist
  Runtime software verification and automated testing for scientific software in Python
  ☆95Updated last year
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• asottile / dict-unpacking-at-home
  can we have dict unpacking in python?
  ☆97Updated 3 weeks ago
• peter-gy / d2-widget
  🔵 D2: Declarative Diagramming in Python via AnyWidget
  ☆15Updated last month
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• t2y / pytest-quickcheck
  ☆15Updated 2 years ago
• modal-labs / pytest-markdown-docs
  Run pytest on markdown code fence blocks
  ☆73Updated 6 months ago
• breuleux / hrepr
  HTML representation for Python objects.
  ☆17Updated 6 months ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆107Updated last year
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 11 months ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆19Updated last week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆139Updated this week