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/proporti.onl
Compare number of women, men, and nonbinary people among my friends and followers.
ajdavis/toro
Synchronization primitives for Tornado coroutines
ajdavis/GreenletProfiler
Abandoned, please use Yappi.
ajdavis/python-paxos-jepsen
Paxos in Python, tested with Jepsen
ajdavis/consistency-isolation-pycon-2023
Files related to A. Jesse Jiryu Davis's PyCon 2023 talk.
ajdavis/why-should-async-get-all-the-love
Source files for A. Jesse Jiryu Davis's PyCon 2022 talk
ajdavis/pymongo-mockup-tests
Test PyMongo with MockupDB - for eventual merge into mongo-python-driver repo.
ajdavis/list-of-tlaplus-operators
ajdavis/2021-jesse-samy-tlaplus
Source for Interactive TLA+ talk at 2021 TLA+ Conference
ajdavis/ajdavis-queue-theory-exercises
ajdavis/emptysquare-hugo
A. Jesse Jiryu Davis's personal blog and site.
ajdavis/jira-dependency-graph
Graph visualizer for JIRA tickets' dependencies
ajdavis/lambda-endsessions-python
ajdavis/begin-implementing-merge
Supplemental for design of Begin Implementing Merge
ajdavis/emptysquare.net-redirect
Redirect emptysquare.net to emptysqua.re with Netlify (needed for HTTPS redirect)
ajdavis/evergreen.py
A python client for the Evergreen API.
ajdavis/iTerm2
iTerm2 is a terminal emulator for Mac OS X that does amazing things.
ajdavis/jepsen
A framework for distributed systems verification, with fault injection
ajdavis/logcabin
LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their core metadata and is helpful in solving cluster management issues.
ajdavis/mongo-conduction
Wire Protocol frontend server to Mongo Orchestration.
ajdavis/MongoDB-proxy
Example MongoDB proxy in Python
ajdavis/motor-performance-1
A separate repository in which to develop performance benchmark tests for Motor, my alternative Python driver for MongoDB
ajdavis/pdf-annotations-to-readwise
Personal script to sync PDF Expert annotations with Readwise
ajdavis/pdfannots
Extracts and formats text annotations from a PDF file
ajdavis/python-atlasapi
python package for MongoDB Atlas Cloud provider
ajdavis/specifying-systems-bookmarks-gen
Generate PDF bookmarks and renumber pages of "Specifying Systems"
ajdavis/testing-distributed-systems
Curated list of resources on testing distributed systems
ajdavis/tla-web
Interactive, web-based environment for exploring TLA+ specifications.
ajdavis/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ajdavis/TransactionHistoryIterator
TLA+ spec for retryable writes and imported oplogs