Skip to content
Pro
Block or report user

Report or block ajdavis

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@10gen @mongodb
Block or report user

Report or block ajdavis

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. mongo-mockup-db

    MockupDB - Simulate a MongoDB server.

    Python 31 10

  2. twitter-gender-distribution

    Compare number of women, men, and nonbinary people among my friends and followers.

    Python 183 22

  3. python/cpython

    The Python programming language

    Python 29.1k 13.3k

  4. mongodb/mongo

    The MongoDB Database

    C++ 17.4k 4.3k

  5. mongodb/mongo-c-driver

    A high-performance MongoDB driver for C

    C 579 339

  6. mnunberg/jsonsl

    Embeddable, Fast, Streaming, Non-Buffering JSON Parser

    C 157 37

391 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

February 2020

ajdavis has no activity yet for this period.

January 2020

Created an issue in tlaplus/tlaplus that received 27 comments

"ran out of memory" checking spec with a large tuple

Hello, I'm continuing development of my trace-checker. (We began discussion in #367, I'm following Ron Pressler's method from "Verifying Software T…

27 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.