Pinned Repositories
cnfc
A Python module that generates DIMACS CNF files
cover
Solvers for the exact set cover problem and variants
histosketch
A golang streaming histogram sketch. Fast quantiles and counts below a threshold.
hyperloglog-redis
An implementation of the HyperLogLog algorithm backed by Redis
IncrementalSVD.jl
Simon Funk's approach to collaborative filtering using the singular value decomposition, implemented in Julia.
levtrie
A Trie supporting fast searches based on edit distance
millisat
A single-file Python CDCL SAT solver
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.
sat
SAT solvers from Knuth's Vol. 4, Fascicle 6
aaw's Repositories
aaw/histosketch
A golang streaming histogram sketch. Fast quantiles and counts below a threshold.
aaw/IncrementalSVD.jl
Simon Funk's approach to collaborative filtering using the singular value decomposition, implemented in Julia.
aaw/mongoid_collection_snapshot
Easy maintenence of collections of processed data in MongoDB with the Mongoid ODM
aaw/regrams
Convert regular expressions to trigram queries in the spirit of Google's codesearch.
aaw/sat
SAT solvers from Knuth's Vol. 4, Fascicle 6
aaw/maybe_tls
A golang net.Listener implementation that listens to either TCP or TLS on a single port
aaw/histk
The Ben-Haim/Tom-Tov streaming histogram sketch as a Redis module
aaw/cover
Solvers for the exact set cover problem and variants
aaw/commafree
Tools for generating and investigating commafree codes
aaw/levtrie
A Trie supporting fast searches based on edit distance
aaw/SimIndex.jl
A fast, approximate all-pairs nearest neighbors index in Julia
aaw/cnfc
A Python module that generates DIMACS CNF files
aaw/millisat
A single-file Python CDCL SAT solver
aaw/aptible-api-ruby
Ruby client for api.aptible.com
aaw/aptible-cli
Command line interface to Aptible
aaw/aptible-resource
Foundation classes for Aptible resource server gems
aaw/backtrack
aaw/CnC
Cube-and-Conquer SAT solver
aaw/docker-nginx
NGiNX HTTP server
aaw/docker-registry-proxy
NGiNX proxy for Docker registries with SSL/Basic Auth
aaw/elasticsearch-logstash-s3-backup
Scripts to backup and restore Logstash indexes from Elasticsearch. Can be run as a cron on Aptible.
aaw/langgraph
Build resilient language agents as graphs.
aaw/logstash-output-syslog
aaw/presidential-rectangle
Tools for solving the presidential rectangle puzzle
aaw/radix_tree
aaw/sinatra_auth_github
:lock: simple sinatra extension to authenticate users against github oauth
aaw/supercronic
Cron for containers
aaw/support
Aptible's Support and Documentation Site
aaw/twenty-questions
aaw/warden-github
:lock: warden strategy for github oauth