Alternatives and similar repositories for tyche-extension:

Users that are interested in tyche-extension are comparing it to the libraries listed below

• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆21Updated 2 years ago
• breuleux / hrepr
  HTML representation for Python objects.
  ☆16Updated 5 months ago
• flywhl / logis
  Turn your git commit history into a scientific log
  ☆45Updated last month
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 2 years ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆23Updated last year
• deathbeds / pidgy
  Interactive computing in Markdown
  ☆44Updated 2 years ago
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆11Updated last week
• janpf / debuggAIr
  Your AI-Powered Debugging Companion 🤖
  ☆10Updated last year
• xetdata / xetcache
  ☆58Updated last year
• t2y / pytest-quickcheck
  ☆14Updated 2 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆88Updated 2 weeks ago
• justin-yan / pyjust
  ☆14Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆80Updated this week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• jupyter-book / myst-spec
  MyST is designed to create publication-quality, computational documents written entirely in Markdown.
  ☆22Updated 5 months ago
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆27Updated 2 years ago
• jamwil / bulletproof-python
  A magic-free, understandable python project template using tox, pytest, ruff and pip-tools.
  ☆34Updated last week
• conda-incubator / jupyterlab-conda-store
  The official Jupyterlab extension for conda-store
  ☆16Updated 4 months ago
• Tsche / magic_codec
  ☆35Updated 2 months ago
• vagos / llm-interpolate
  Interpolate between embedding points with llm
  ☆33Updated 8 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆55Updated 3 weeks ago
• spookylukey / pyastgrep
  Grep Python Abstract Syntax Trees (AST) using XPath
  ☆93Updated 3 months ago
• calpaterson / csvbase-client
  A cli client for csvbase
  ☆48Updated 8 months ago
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆85Updated last week
• mwshinn / paranoidscientist
  Runtime software verification and automated testing for scientific software in Python
  ☆93Updated 9 months ago
• ofek / extensionlib
  The toolkit for building extension modules
  ☆25Updated last year
• mljar / package-manager
  Package Manager is a JupyterLab extension that simplifies managing Python packages directly within your notebooks
  ☆14Updated last month
• meelgroup / pepin
  A probabilistic approximate DNF counter
  ☆36Updated 11 months ago