-
crosshair-playground Public
Forked from ymyzk/mypy-playgroundTry CrossHair on the web.
-
CrossHair Public
An analysis tool for Python that blurs the line between testing and type systems.
-
hypothesis Public
Forked from HypothesisWorks/hypothesisHypothesis is a powerful, flexible, and easy to use library for property-based testing.
Python Other UpdatedOct 19, 2024 -
hypothesis-crosshair Public
Level-up your Hypothesis tests with CrossHair
-
crosshair-benchmark Public
Benchmarking data and scripts to evaluate the performance of CrossHair
-
cpython Public
Forked from python/cpythonThe Python programming language
Python Other UpdatedJan 18, 2024 -
CrossHair harness for SBFT 2024's test case generation competition
-
sfdf Public
Forked from petrusboniatus/sfdfMinimal pure python dataframe implementation, intented to use with crosshair
Python Apache License 2.0 UpdatedNov 19, 2022 -
coveragepy Public
Forked from nedbat/coveragepyThe code coverage tool for Python
Python Apache License 2.0 UpdatedNov 8, 2022 -
crosshair-vscode Public
Use crosshair to statically analyze Python code from within VS Code.
-
crosshair-pycharm Public
Use crosshair to statically analyze Python code from within PyCharm.
-
pygls Public
Forked from openlawlibrary/pyglsA pythonic generic language server
Python Apache License 2.0 UpdatedSep 14, 2022 -
-
python-by-contract-corpus Public
Forked from mristin/python-by-contract-corpusSolutions to Advent of Code in Python with contracts.
Python MIT License UpdatedJun 6, 2022 -
-
lsp4intellij Public
Forked from ballerina-platform/lsp4intellijThis language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
Java Apache License 2.0 UpdatedMar 1, 2022 -
-
crosshair-plugin-flask Public
A CrossHair plugin for using contracts on Flask route handlers.
MIT License UpdatedAug 6, 2021 -
typing_inspect Public
Forked from ilevkivskyi/typing_inspectRuntime inspection utilities for Python typing module
Python MIT License UpdatedJun 14, 2021 -
thonny-crosshair Public
Automatically verify Python code using CrossHair in Thonny.
-
-
forbiddenfruit Public
Forked from clarete/forbiddenfruitPatch built-in python objects
Python GNU General Public License v3.0 UpdatedFeb 16, 2021 -
emacs-flycheck-crosshair Public
An emacs flycheck integration for CrossHair
-
-
dynamic-analysis Public
Forked from analysis-tools-dev/dynamic-analysisA curated list of dynamic analysis tools for all programming languages, binaries, and more.
Rust UpdatedNov 25, 2020 -
static-analysis Public
Forked from analysis-tools-dev/static-analysisA curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
Rust UpdatedNov 25, 2020 -
lets-prove-leftpad Public
Forked from hwayne/lets-prove-leftpadProving leftpad correct in a dozen different ways
SystemVerilog Other UpdatedFeb 20, 2020 -
awesome-symbolic-execution Public
Forked from ksluckow/awesome-symbolic-executionA curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Creative Commons Zero v1.0 Universal UpdatedJan 25, 2020 -
EmojiTactics Public
A simple turn-based strategy game, implemented as a progressive web app.
-
typeshed Public
Forked from python/typeshedCollection of library stubs for Python, with static types
Python Other UpdatedMay 12, 2018
{{ message }}