Jean Yang

hamilton. Apache Hamilton helps data scientists and engineers define testable, modular, self-documenting dataflows, that encode lineage/tracing and metadata. Runs and scales everywhere python does.

devwriting. All resources & exercises from the Miami Dev Writer's Retreat

DALL-E. PyTorch package for the discrete VAE used for DALL·E.

P. The P programming language.

superhero-network. An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.

oso. Deprecated: See README

akita-flask. Python

fuzzer-test-suite. Set of tests for fuzzing engines

lets-prove-leftpad. Proving leftpad correct two-dozen different ways

oss-fuzz. OSS-Fuzz - continuous fuzzing for open source software.

deepstate. A unit test-like interface for fuzzing and symbolic execution

Examples. A collection of TLA⁺ specifications of varying complexities.

gopter. GOlang Property TestER

elasticsearch-formal-models. Formal models of core Elasticsearch algorithms

salt. Clojure

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

observability-ir. Intermediate Representation for APIs

cartography. Cartography is a Python tool that pulls infrastructure assets and their relationships into a Neo4j graph database.

envoy. Cloud-native high-performance edge/middle/service proxy

opentracing-go. OpenTracing API for Go. 🛑 This library is DEPRECATED! https://github.com/opentracing/specification/issues/163

lean-project. travis and katherine do a project

awesome-kubernetes. A curated list for awesome kubernetes sources :ship::tada:

refscript. Refinement Types for Scripting Languages

CSrankings. A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

kappa-stats. A simple tool that takes a Kappa trace and a rule name, and lists values (and corresponding frequencies) taken by each logical site of each agent on which the rule has been applied.

haskell-jeeves. Secure Information Flow

KaFlow. Causal Analysis for Kappa

storylab. A basic implementation of causal analysis on simple rectangular systems

indian-ocean. A library for reading in and writing out data (plus some useful filesystem functions) in Node.js.

tictactoe. Dave mentioned he built a tictactoe game and I wanted to try.

metakappa. A meta-language for Kappa generation that allows the creation of protein hierarchies and the concise representation of protein-interaction rules. These structures can then be expanded into Kappa.

KappaTools. Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

jeeves-in-haskell. implementation of the Yang et al Jeeves language in Haskell

MarkovTextGenerator. A Python script to generate pseudo-random text using a Markov Chain.

python-twitter. A Python wrapper around the Twitter API.

django-bootstrap-toolkit. Bootstrap support for Django projects

nerdcommenter. Vim plugin for intensely nerdy commenting powers

research.js. Share your research online by compiling it to JavaScript!

faceted-values. faceted values: a strong primitive for privacy sensitive values

underwear. How much underwear should you bring on a trip?

TimelineJS. TimelineJS: A Storytelling Timeline built in JavaScript.