- New York City
- http://emptysqua.re/
- @jessejiryudavis
Highlights
- Pro
Block or Report
Block or report ajdavis
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
tla-web Public
Forked from will62794/tla-webInteractive, web-based environment for exploring TLA+ specifications.
TLA MIT License UpdatedMay 20, 2024 -
Files related to A. Jesse Jiryu Davis's PyCon 2023 talk.
-
-
-
proporti.onl Public archive
Compare number of women, men, and nonbinary people among my friends and followers.
-
toro Public
Synchronization primitives for Tornado coroutines
-
mongo-conduction Public
Wire Protocol frontend server to Mongo Orchestration.
Python Apache License 2.0 UpdatedJun 14, 2023 -
python-atlasapi Public
Forked from mgmonteleone/python-atlasapipython package for MongoDB Atlas Cloud provider
Python Apache License 2.0 UpdatedMar 5, 2023 -
Source files for A. Jesse Jiryu Davis's PyCon 2022 talk
-
begin-implementing-merge Public
Supplemental for design of Begin Implementing Merge
UpdatedMar 8, 2022 -
pdf-annotations-to-readwise Public
Personal script to sync PDF Expert annotations with Readwise
Python UpdatedFeb 16, 2022 -
testing-distributed-systems Public
Forked from asatarin/testing-distributed-systemsCurated list of resources on testing distributed systems
HTML Creative Commons Attribution 4.0 International UpdatedFeb 2, 2022 -
jira-dependency-graph Public
Forked from pawelrychlik/jira-dependency-graphGraph visualizer for JIRA tickets' dependencies
-
pdfannots Public
Forked from 0xabu/pdfannotsExtracts and formats text annotations from a PDF file
Python MIT License UpdatedDec 19, 2021 -
python-paxos-jepsen Public
Paxos in Python, tested with Jepsen
-
jepsen Public
Forked from jepsen-io/jepsenA framework for distributed systems verification, with fault injection
Clojure UpdatedDec 7, 2021 -
pymongo-mockup-tests Public
Test PyMongo with MockupDB - for eventual merge into mongo-python-driver repo.
-
tlaplus Public
Forked from tlaplus/tlaplusTLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Java MIT License UpdatedOct 11, 2021 -
TransactionHistoryIterator Public
TLA+ spec for retryable writes and imported oplogs
TLA UpdatedSep 21, 2021 -
2021-jesse-samy-tlaplus Public
Source for Interactive TLA+ talk at 2021 TLA+ Conference
-
emptysquare.net-redirect Public
Redirect emptysquare.net to emptysqua.re with Netlify (needed for HTTPS redirect)
UpdatedJul 14, 2021 -
Generate PDF bookmarks and renumber pages of "Specifying Systems"
Python UpdatedJul 6, 2021 -
evergreen.py Public
Forked from evergreen-ci/evergreen.pyA python client for the Evergreen API.
Python Apache License 2.0 UpdatedMay 4, 2021 -
motor-performance-1 Public
Forked from mongodb/motor-performanceA separate repository in which to develop performance benchmark tests for Motor, my alternative Python driver for MongoDB
Python UpdatedApr 12, 2021 -
-
-
GraphViz diagrams explaining a MongoDB refactoring project: https://jira.mongodb.org/browse/SERVER-50758
Python UpdatedOct 21, 2020 -
lsyncd Public
Forked from lsyncd/lsyncdLsyncd (Live Syncing Daemon) synchronizes local directories with remote targets
-