ajdavis
Senior Staff Engineer at MongoDB, working on replication. No recruiters please!
@mongodb New York City
Pinned Repositories
coroutines-demo
Live-coding a Python 3 async framework
mongo-python-driver
PyMongo - the Python driver for MongoDB
motor-blog
Blog based on Tornado, MongoDB, and Motor. To be used with MarsEdit.
proporti.onl
Compare number of women, men, and nonbinary people among my friends and followers.
toro
Synchronization primitives for Tornado coroutines
jsonsl
Embeddable, Fast, Streaming, Non-Buffering JSON Parser
mongo-mockup-db
MockupDB - Simulate a MongoDB server.
mongo
The MongoDB Database
mongo-c-driver
The Official MongoDB driver for C language
cpython
The Python programming language
ajdavis's Repositories
ajdavis/drivers-evergreen-tools
ajdavis/mtools
A collection of scripts to set up MongoDB test environments and parse and visualize MongoDB log files.
ajdavis/term2image
Read the output of a terminal command like "man" or "ls" and write a PNG.
ajdavis/ansi2html
Convert text with ansi color codes to HTML
ajdavis/bloaty
Bloaty McBloatface: a size profiler for binaries
ajdavis/emptysquare-mendeley
My personal Mendeley research workflow
ajdavis/faster-local-testing
Scripts for analyzing MongoDB JS test performance.
ajdavis/fle-util
Utilities and examples for Field-Level Encryption
ajdavis/Gibbon-Tabs
The Chrome tab manager you always wanted.
ajdavis/GitPython
GitPython is a python library used to interact with Git repositories.
ajdavis/homebrew-core
:beers: Core formulae for the Homebrew package manager
ajdavis/learntla
A TLA+ guide
ajdavis/libmongocrypt
ajdavis/mirror
A tool for real-time, two-way sync for remote (e.g. desktop/laptop) development
ajdavis/mongo-c-driver
A high-performance MongoDB driver for C
ajdavis/mongo-locking-tla
TLA+ spec of locking behaviors of MongoDB
ajdavis/mongo-repl-tla
TLA+ Spec of a simplified part of MongoDB replication system
ajdavis/mongo_module_ninja
A module for mongodb that makes scons generate build.ninja files.
ajdavis/mrlog
ajdavis/oplog_applier
ajdavis/python_formal_semantics
ajdavis/pytn-2019
A PyTennessee for 2019.
ajdavis/repl-trace-checker
ajdavis/Rietveld-Usability-Toolkit
Chrome extension to make Rietveld code review more usable.
ajdavis/tla-bin
Command line binaries for the TLA+ language
ajdavis/TLA-Plus
My personal PlusCal and TLA+ playground
ajdavis/tla-trace-formatter
Parse the trace of TLC output and generate HTML with better format.
ajdavis/tlaplus_jupyter
Jupyter kernel for TLA⁺
ajdavis/twint
An advanced Twitter scraping & OSINT tool written in Python that doesn't use Twitter's API, allowing you to scrape a user's followers, following, Tweets and more while evading most API limitations.
ajdavis/update-backups
Update the Google spreadsheet that tracks my data backups.