New York, NY

Phillip Schanely

Expert
@pschanely

Mostly working on "CrossHair": easy SMT, fuzzing, & verification for Python.

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

1.3k

wildflower-touch. A Wildflower IDE for touch devices.

95

contractual-semver. Contractual Semver

28

hypothesis-crosshair. Level-up your Hypothesis tests with CrossHair

26

wildflower. Minimalistic, functional, JSON-formatted programming language

20

scoredb. A simple database optimized for returning results by custom scoring functions.

20

music-tonight. The Music Tonight web and mobile applications help you discover local musicians.

14

ScenicOverlook. A Python library for incremental, in-memory map-reduces.

7

crosshair-vscode. Use crosshair to statically analyze Python code from within VS Code.

6

shrimpdb. A tiny, simple, and capable embedded database for Python

6

wf-optimizer. Someday, this might become a wildflower-to-wildflower optimizer

5

crosshair-benchmark. Benchmarking data and scripts to evaluate the performance of CrossHair

5

thonny-crosshair. Automatically verify Python code using CrossHair in Thonny.

3

EmojiTactics. A simple turn-based strategy game, implemented as a progressive web app.

3

crosshair-pycharm. Use crosshair to statically analyze Python code from within PyCharm.

3

emacs-flycheck-crosshair. An emacs flycheck integration for CrossHair

2

wf-repository. A simple node.js server for storing Wildflower code

1

wf-jsinterp. A simplistic Wildflower interpreter in Javascript.

1

crosshair-playground. Try CrossHair on the web.

1

pylearn2. A Machine Learning library based on Theano

1
20
Apply