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.3kwildflower-touch. A Wildflower IDE for touch devices.
95contractual-semver. Contractual Semver
28hypothesis-crosshair. Level-up your Hypothesis tests with CrossHair
26wildflower. Minimalistic, functional, JSON-formatted programming language
20scoredb. A simple database optimized for returning results by custom scoring functions.
20music-tonight. The Music Tonight web and mobile applications help you discover local musicians.
14ScenicOverlook. A Python library for incremental, in-memory map-reduces.
7crosshair-vscode. Use crosshair to statically analyze Python code from within VS Code.
6shrimpdb. A tiny, simple, and capable embedded database for Python
6wf-optimizer. Someday, this might become a wildflower-to-wildflower optimizer
5crosshair-benchmark. Benchmarking data and scripts to evaluate the performance of CrossHair
5thonny-crosshair. Automatically verify Python code using CrossHair in Thonny.
3EmojiTactics. A simple turn-based strategy game, implemented as a progressive web app.
3crosshair-pycharm. Use crosshair to statically analyze Python code from within PyCharm.
3emacs-flycheck-crosshair. An emacs flycheck integration for CrossHair
2wf-repository. A simple node.js server for storing Wildflower code
1wf-jsinterp. A simplistic Wildflower interpreter in Javascript.
1crosshair-playground. Try CrossHair on the web.
1pylearn2. A Machine Learning library based on Theano
1