pschanely Goto Github PK

atheris

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

cloudforest

Ensembles of decision trees in go/golang.

contractual-semver

Contractual Semver

coveragepy

The code coverage tool for Python

cpython

The Python programming language

crosshair

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

crosshair-benchmark

Benchmarking data and scripts to evaluate the performance of CrossHair

crosshair-playground

Try CrossHair on the web.

crosshair-plugin-flask

A CrossHair plugin for using contracts on Flask route handlers.

crosshair-pycharm

Use crosshair to statically analyze Python code from within PyCharm.

crosshair-vscode

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

delme01

temp repo for action testing

dynamic-analysis

A curated list of dynamic analysis tools for all programming languages, binaries, and more.

emacs-flycheck-crosshair

An emacs flycheck integration for CrossHair

emojitactics

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

flask-sqlalchemy

Adds SQLAlchemy support to Flask

flex

Swagger schema validator

forbiddenfruit

Patch built-in python objects

generate.js

A simple and easy to use random generator library.

gradle-tomcat-plugin

Gradle plugin supporting deployment of your web application to an embedded Tomcat web container

gunicorn

gunicorn 'Green Unicorn' is a WSGI HTTP Server for UNIX, fast clients and sleepy applications.

hypothesis

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

hypothesis-crosshair

Level-up your Hypothesis tests with CrossHair

kellys-birthday

Mobile scavenger hunt application

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

libaddressinput

Google’s postal address library, powering Android and Chromium

lsp4intellij

This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.

music-tonight

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

node-fishback

A caching HTTP proxy written in Node