Skip to content

codemind-research

View on GitHub ↗

active 2023-10-23 → 2025-01-10 (UTC) · 15 repositories

Complete coverage27,411 / 27,411 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-30 (UTC)
Events
93
Pushes
37
Pull requests
21
Issues
1
Reviews
2
Repositories
15

Activity over time

Daily event counts in the loaded window

Line chart, 446 days from 2023-10-23 to 2025-01-10. Pushes: 37 total, peak 6 in a day. Pull requests: 21 total, peak 4 in a day. Issues: 1 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
codemind-research/crichton291513102025-01-10
codemind-research/coyote-test1553052024-01-16
codemind-research/trampoline945002024-10-10
research-codemind/Pydev660002024-09-06
codemind-research/CoyoteCPP330002023-10-23
codemind-research/llvm-project220002024-05-03
codemind-research/codemind-research.github.io110002024-01-16
codemind-research/z3110002024-05-03
UmttikhinaDasha/IT-Bookstore000002024-12-16
Z3Prover/z3000002024-05-03
SejongChatbot/server000002025-01-06
llvm/llvm-project000002024-05-03
TrampolineRTOS/trampoline000002023-11-23
codemind-research/TestProjects000002023-10-23
foreknowledge/react-dialog000002024-11-29

Works with

People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.