Phillip Schanely's repositories
contractual-semver
Contractual Semver
crosshair-vscode
Use crosshair to statically analyze Python code from within VS Code.
hypothesis-crosshair
Level-up your Hypothesis tests with CrossHair
crosshair-benchmark
Benchmarking data and scripts to evaluate the performance of CrossHair
crosshair-pycharm
Use crosshair to statically analyze Python code from within PyCharm.
EmojiTactics
A simple turn-based strategy game, implemented as a progressive web app.
thonny-crosshair
Automatically verify Python code using CrossHair in Thonny.
emacs-flycheck-crosshair
An emacs flycheck integration for CrossHair
crosshair-playground
Try CrossHair on the web.
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
coveragepy
The code coverage tool for Python
cpython
The Python programming language
crosshair-plugin-flask
A CrossHair plugin for using contracts on Flask route handlers.
dynamic-analysis
A curated list of dynamic analysis tools for all programming languages, binaries, and more.
forbiddenfruit
Patch built-in python objects
hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
lsp4intellij
This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
python-by-contract-corpus
Solutions to Advent of Code in Python with contracts.
python-tool-competition-2024-crosshair
CrossHair harness for SBFT 2024's test case generation competition
static-analysis
A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
typing_inspect
Runtime inspection utilities for Python typing module