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 6 months ago
• life4 / deal-solver
  z3-powered solver (theorem prover) for deal
  ☆12Updated last year
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆96Updated this week
• ewjoachim / pypitoken
  Creation & manipulation of PyPI tokens
  ☆12Updated last week
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆84Updated 3 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆68Updated 4 months ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆24Updated 3 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆49Updated last week
• mwshinn / paranoidscientist
  Runtime software verification and automated testing for scientific software in Python
  ☆95Updated last year
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 3 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆137Updated last year
• StefanUlbrich / design-by-contract
  Handy decorator for elegant design-by-contract in 3.10+
  ☆101Updated 3 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆66Updated last month
• pschanely / contractual-semver
  Contractual Semver
  ☆27Updated 3 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• chrisgrimm / better_partial
  ☆123Updated 3 years ago
• breck7 / pytree
  Tree Notation Python Library
  ☆14Updated 2 years ago
• earldouglas / codedown
  Extract code blocks from Markdown files
  ☆86Updated last month
• suned / stateless
  Statically typed, purely functional effects for Python.
  ☆91Updated last year
• asottile / dict-unpacking-at-home
  can we have dict unpacking in python?
  ☆94Updated 5 months ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated 3 weeks ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆25Updated last year
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated 9 months ago
• erezsh / runtype
  Utilities for run-time type validation and multiple dispatch
  ☆170Updated 3 weeks ago
• janpf / debuggAIr
  Your AI-Powered Debugging Companion 🤖
  ☆10Updated last year
• HDembinski / monolens
  View part of your screen in grayscale or simulated color vision deficiency.
  ☆76Updated 3 weeks ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• thyeem / foc
  A seamless and streamlined functional tool
  ☆104Updated 2 months ago