parlarjb

tla_workshop

finding_bugs_no_code

z3talk

A presentation on z3

gifs

500lines

500 Lines or Less

angular.js

bagit-profiles

cryptography

cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.

docopt

Pythonic command line arguments parser, that will make you smile

encore-ui

UI Framework for Encore

encore-ui-bower

A repository to hold encore-ui releases for Bower

Examples

A collection of TLA+ specifications of varying complexities

getcarina.com

The Carina website

github3.py

Python library for interfacing with the GitHub APIv3

greetingslack

Auto-greet slack joiners

grunt-lib-phantomjs

Grunt and PhantomJS, sitting in a tree.

hubot-deploy

:rocket: GitHub Flow via hubot

hypothesis-python

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

js-sequence-diagrams

Draws simple SVG sequence diagrams from textual representation of the diagram

jsinspect

Detect copy-pasted and structurally similar code

learntla

A TLA+ guide

nationalparks-py

Backend component to display national parks (Python).

pandas

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

PersonalSky

python-social-auth

Social auth made simple

rest

RESTful HTTP client for JavaScript

stubby4node

A configurable server for mocking/stubbing external systems during development.

toy_blog

Super simple blog experiment to help myself re-learn Django

vim-snippets

vim-snipmate default snippets (Previously snipmate-snippets)

walmart-inventory-lookup

Little python command-line tool to check a given product stock in some walmart stores