Popular repositories Loading
-
-
-
-
aws-c-http
aws-c-http PublicForked from awslabs/aws-c-http
C99 implementation of the HTTP/1.1 and HTTP/2 specifications
C
-
botocore
botocore PublicForked from boto/botocore
The low-level, core functionality of boto 3.
Python
-
557 contributions in the last year
Skip to contributions year listDay of Week | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | July Jul | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
awslabs/aws-c-common,
awslabs/aws-s3-transfer-manager-rs,
awslabs/aws-crt-s3-benchmarks
and 33 other
repositories
Loading
Contribution activity
July 2025
Created 3 commits in 1 repository
Opened 4 pull requests in 1 repository
leanprover/KLR
3
merged
1
open
-
Fix useful exception being lost during gather
This contribution was made on Jul 16
-
Remove __STDC_VERSION__ check, to support GCC 7.3
This contribution was made on Jul 11
-
Upload sdist to PyPI, and tweaks to support Brazil's Python3PBuildTool
This contribution was made on Jul 2
-
Use CMake (instead of Makefile) for C extension
This contribution was made on Jul 1
Reviewed 2 pull requests in 2 repositories
awslabs/aws-c-io
1 pull request
-
stop packing future variable to avoid tsan data race warnings
This contribution was made on Jul 16
leanprover/KLR
1 pull request
-
chore: remove unused code related to old klr frontend
This contribution was made on Jul 3