Aaron Windsor

Answer-Set-Programming-Algorithms. Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

spider. Spider nudging :-) ....++-.+

Alpha. A lazy-grounding Answer-Set Programming system

chrome-cdp-skill. Give your AI agent access to your live Chrome session — works out of the box, connects to tabs you already have open

verified-encodings. Verifying encodings into propositional logic in Lean

monosat. MonoSAT - An SMT solver for Monotonic Theories

cbmc. C Bounded Model Checker

PolyBoRi. C++

pgbdd. Proof-generated, BDD-based SAT solver

CXXGraph. Header-Only C++ Library for Graph Representation and Algorithms

intel_sat_solver. This repository contains the code of Intel(R) SAT Solver (IntelSAT)

FLT. Ongoing Lean formalisation of the proof of Fermat's Last Theorem

breakid. BreakID, a CNF symmetry-breaking library and tool

cubes. This code calculates all the variations of 3D polycubes for any size (time permitting!)

radiation-hardened-quine. A robust quine program that works even after any one character is deleted.

ann-benchmarks. Benchmarks of approximate nearest neighbor libraries in Python

hugo-PaperMod. A fast, clean, responsive Hugo theme.

gimsatul. C

varisat. SAT solver written in Rust

mallob. Scalable Automated Reasoning for HPC and Clouds

emfy. A dark and sleek Emacs setup for general purpose editing and programming

dlx. Donald Knuth's Algorithm 7.2.2.1M for covering with multiplicities and colors via dancing links

dd. Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

pysat. A toolkit for SAT-based prototyping in Python

SorterHunter. An evolutionary approach to find small and low latency sorting networks

CnC. Cube-and-Conquer SAT solver

satch. SAT Solver SATCH

drat-trim. The DRAT-trim proof checker

biteopt. Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP

march-SAT-solver. the march SAT solver

cadical. CaDiCaL SAT Solver

linux-network-performance-parameters. Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺

microsat. microsat

oklog. A distributed and coördination-free log management system

qp. qp tries and crit-bit tries

og-aws. 📙 Amazon Web Services — a practical guide

prometheus. The Prometheus monitoring system and time series database.

libbvg. A C implementation of a Boldi-Vigna graph decompressor

lipton-tarjan. Implementation of the Lipton-Tarjan separator algorithm for planar graphs

snappy-start. Tool for launching a Linux process from a snapshot

libsnark. C++ library for zkSNARKs

LLLplus.jl. Lattice reduction and other lattice tools in Julia

PrivateMultiplicativeWeights.jl. Differentially private synthetic data

RSA-and-LLL-attacks. attacking RSA via lattice reductions (LLL)

rqlite. The lightweight, fault-tolerant database built on SQLite. Designed to keep your data highly available with minimal effort.

ProgressMeter.jl. Progress meter for long-running computations

quickscrape. A scraping command line tool for the modern web

docker-gen. Generate files from docker container meta-data

goline. A simple readline facility for Go. Based on the C library Linenoise

distroshare-ubuntu-imager. Creates an installable live CD from an installed Ubuntu or derivative distribution

dat. :floppy_disk: peer-to-peer sharing & live syncronization of files via command line

huptime. Utility for zero downtime restarts of unmodified programs.

memc3. MemC3

go-mode.el. Emacs mode for the Go programming language

frankencert. Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations

privacybadger. Privacy Badger is a browser extension that automatically learns to block hidden trackers

mailinabox. Mail-in-a-Box helps individuals take back control of their email by defining a one-click, easy-to-deploy SMTP+everything else server: a mail server in a box.

nex. Lexer for Go

compose. Define and run multi-container applications with Docker

intent-intercept. Intent Intercept Android app

StatsBase.jl. Basic statistics for Julia

dnschain. A blockchain-based DNS + HTTP server that fixes HTTPS security, and more!

momentum. Shared utilities for managing and deploying OpsWorks apps at Artsy.

peer-server. JavaScript

fhe. Implementation of the DGHV fully homomorphic encryption scheme

simmer. Reduce your data. A unix filter for algebird-powered aggregation.

fn.py. Functional programming in Python: implementation of missing features to enjoy FP

apk2gold. CLI tool for decompiling Android apps to Java. It does resources! It does Java! Its real easy!

tkn. Terminal Keynote - A hack for terminal-based talks

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

redis2-cookbook. Redis2 chef cookbook

sunspot. Solr-powered search for Ruby objects

sunspot_mongo. Sunspot search support for Mongo Mapper and Mongoid.

bLSM. Read- and latency-optimized log structured merge tree

redis-rdb-tools. Parse Redis dump.rdb files, Analyze Memory, and Export Data to JSON

twemproxy. A fast, light-weight proxy for memcached and redis

sunspot_mongo. Sunspot search support for Mongo Mapper and Mongoid.

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

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

trickl-graph. Contains graph algorithms, including many planar algorithms and a doubly connected edge list implementation.

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

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

AndroidChan. An image board for Android

chef-solr. Chef cookbook for installing Solr as Jetty servlet on Ubuntu

zoltar. A Clojure classifier

yaupon. A pure Python graph library