Pinned Repositories
contractual-semver
Contractual Semver
CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
crosshair-vscode
Use crosshair to statically analyze Python code from within VS Code.
hypothesis-crosshair
Level-up your Hypothesis tests with CrossHair
music-tonight
The Music Tonight web and mobile applications help you discover local musicians.
ScenicOverlook
A Python library for incremental, in-memory map-reduces.
scoredb
A simple database optimized for returning results by custom scoring functions.
shrimpdb
A tiny, simple, and capable embedded database for Python
wildflower
Minimalistic, functional, JSON-formatted programming language
wildflower-touch
A Wildflower IDE for touch devices.
pschanely's Repositories
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
pschanely/contractual-semver
Contractual Semver
pschanely/crosshair-vscode
Use crosshair to statically analyze Python code from within VS Code.
pschanely/hypothesis-crosshair
Level-up your Hypothesis tests with CrossHair
pschanely/crosshair-benchmark
Benchmarking data and scripts to evaluate the performance of CrossHair
pschanely/crosshair-pycharm
Use crosshair to statically analyze Python code from within PyCharm.
pschanely/EmojiTactics
A simple turn-based strategy game, implemented as a progressive web app.
pschanely/thonny-crosshair
Automatically verify Python code using CrossHair in Thonny.
pschanely/emacs-flycheck-crosshair
An emacs flycheck integration for CrossHair
pschanely/crosshair-playground
Try CrossHair on the web.
pschanely/atheris
pschanely/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
pschanely/coveragepy
The code coverage tool for Python
pschanely/cpython
The Python programming language
pschanely/crosshair-plugin-flask
A CrossHair plugin for using contracts on Flask route handlers.
pschanely/delme01
temp repo for action testing
pschanely/dynamic-analysis
A curated list of dynamic analysis tools for all programming languages, binaries, and more.
pschanely/forbiddenfruit
Patch built-in python objects
pschanely/hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
pschanely/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
pschanely/lsp4intellij
This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.
pschanely/pschanely.github.io
pschanely/pygls
A pythonic generic language server
pschanely/python-by-contract-corpus
Solutions to Advent of Code in Python with contracts.
pschanely/python-tool-competition-2024-crosshair
CrossHair harness for SBFT 2024's test case generation competition
pschanely/sfdf
Minimal pure python dataframe implementation, intented to use with crosshair
pschanely/static-analysis
A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
pschanely/typeshed
Collection of library stubs for Python, with static types
pschanely/typing_inspect
Runtime inspection utilities for Python typing module
pschanely/z3
The Z3 Theorem Prover