⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

An analysis tool for Python that blurs the line between testing and type systems.

A community-maintained Python framework for creating mathematical animations.

An extremely fast Python type checker and language server, written in Rust.

An extremely fast Python linter and code formatter, written in Rust.

An extremely fast Python package and project manager, written in Rust.

Workflow Engine for Kubernetes

A parallel Python test runner built around subunit

Hera makes Python code easy to orchestrate on Argo Workflows through native Python integrations. It lets you construct and submit your Workflows entirely in Python. ⭐️ Remember to star!

Rust bindings for the Python interpreter

Hypothesis-like property testing for Rust

The property-based testing library for Python

Catch API bugs before your users do

Safe code refactoring for modern Python.

The Refactoring library based off the Refactoring book by Martin Fowler

a python refactoring library

A tool for refactoring code related to feature flag APIs

Lean 4 programming language and theorem prover

Scalable fuzzing infrastructure.

The documentation content home for https://quantum.cloud.ibm.com/docs

IBM Client for Qiskit Runtime

A leading-edge control system for quantum information experiments

Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.

Aer is a high performance simulator for quantum circuits that includes noise models

MakeOpenSource Operating System

Snake game but actually 3D

Gate One is an HTML5-powered terminal emulator and SSH client

The Vizier kernel-free notebook programming environment