Aaron Windsor

hyperloglog-redis. An implementation of the HyperLogLog algorithm backed by Redis

histosketch. A golang streaming histogram sketch. Fast quantiles and counts below a threshold.

IncrementalSVD.jl. Simon Funk's approach to collaborative filtering using the singular value decomposition, implemented in Julia.

mongoid_collection_snapshot. Easy maintenence of collections of processed data in MongoDB with the Mongoid ODM

regrams. Convert regular expressions to trigram queries in the spirit of Google's codesearch.

resque-heroku-scaling-canary. A resque plugin that scales heroku workers for batch jobs

sat. SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B

space-saver-redis. A pure Ruby implementation of the SpaceSaver algorithm for estimating the top K elements in a data stream

maybe_tls. A golang net.Listener implementation that listens to either TCP or TLS on a single port

redis. Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes

boost_planar_graph_dual. Code for finding the dual of a planar graph with the boost graph library

cartesian-product. A cartesian product implementation in Ruby that doesn't materialize the product in memory

histk. The Ben-Haim/Tom-Tov streaming histogram sketch as a Redis module

cover. Solvers for the exact set cover problem and variants

yaupon. A pure Python graph library

cnfc. A Python module that generates DIMACS CNF files

redis2-cookbook. Redis2 chef cookbook

SimIndex.jl. A fast, approximate all-pairs nearest neighbors index in Julia

levtrie. A Trie supporting fast searches based on edit distance

sunspot. Solr-powered search for Ruby objects

commafree. Tools for generating and investigating commafree codes

sunspot_mongo. Sunspot search support for Mongo Mapper and Mongoid.

millisat. A single-file Python CDCL SAT solver

AndroidChan. An image board for Android

zoltar. A Clojure classifier

resque-multi-step. Provides multi-step tasks with finalization and progress tracking