Alexander Gallego's Projects
Dafny is a verification-aware programming language
simple, lightweight message queue
The exceptionally handsome dashboard framework in Ruby and Coffeescript.
Google Cloud Dataflow provides a simple, powerful model for building both batch and streaming parallel data processing pipelines.
SQL Query Execution against Apache Arrow, in Rust
A date and time library based on the C++11 (and beyond) <chrono> header
Literature references for “Designing Data-Intensive Applications”
Ansible playbooks used by DebOps project
A TensorFlow implementation of Baidu's DeepSpeech architecture
A highly configurable visual search & analytics platform for images and videos.
The main code repository for the Derecho project.
Digital Geometry Tools and Algorithm Library
A long list of academic papers on the topic of distributed consensus
The Docker toolset to pack, ship, store, and deliver content
A tool for generating cross-language type declarations and interface bindings.
A toolkit for making real world machine learning and data analysis applications in C++
Docker - the Linux container runtime
Make continuous deployment safe by comparing before and after webpage screenshots for each release. Depicted shows when any visual, perceptual differences are found. This is the ultimate, automated end-to-end test.
Pull or push Google Drive files
Experimental GIT mirror of Drizzle Database Server
Dropzone is an easy to use drag'n'drop library. It supports image previews and shows nice progress bars.
Real²time Exploratory Analytics on Large Datasets
Unfinished projects and snippets
A generic dynamo implementation for different k-v storage engines
Library containing high-performance datastructures and utilities for C++
A javascript library providing cross-browser, cross-site messaging/method invocation.
Port of the ecommerce demo to use Redpanda