Stars
GUAC aggregates software security metadata into a high fidelity graph database.
A super-easy, composable, web server framework for warp speeds.
A static verifier for Rust, based on the Viper verification infrastructure.
openzfs / openzfs
Forked from illumos/illumos-gateOpenZFS is a storage platform that encompasses the functionality of traditional filesystems and volume managers, delivering enterprise reliability, modern functionality, and consistent performance …
Automatically provision and manage TLS certificates in Kubernetes
An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension.
Betterment CSV export Chrome extension
Render high-resolution maps of a Minecraft world with a Leaflet powered interface
Twitter's collection of LZO and Protocol Buffer-related Hadoop, Pig, Hive, and HBase code.
non-blocking redis client for python twisted
Refactored version of code.google.com/hadoop-gpl-compression for hadoop 0.20
Uses parselets and rwget to generate csv files from websites
Vowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive lea…
A Clojure client library for the key-value storage system Redis. No longer maintained, please see README.
Ruby BlackBag. Misc ruby-based pen-testing/reversing tools. Inspired by Matasano BlackBag.
Real-time web-server visualization using OpenGL and a force directed layout