Skip to content
GitHub Explorer

6e69636b

View on GitHub ↗

active 2024-06-26 → 2024-09-01 (UTC) · 20 repositories

Complete coverage27,231 / 27,233 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-22 (UTC)
Events
22
Pushes
0
Pull requests
0
Issues
0
Reviews
0
Repositories
20

Activity over time

Daily event counts in the loaded window

Line chart, 68 days from 2024-06-26 to 2024-09-01. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 0 total, peak 0 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
JetBrains/intellij-arend100012024-09-01
grain-lang/grain000002024-07-03
agda/agda000002024-06-29
darklang/dark000002024-06-30
tonsky/FiraCode000002024-07-02
coq/platform000002024-07-09
rust-lang/rust000002024-06-26
FStarLang/FStar000002024-06-29
roc-lang/roc000002024-06-30
slavfox/Cozette000002024-07-03
pyenv/pyenv000002024-07-01
ziglang/zig000002024-06-26
Speykious/cve-rs000002024-06-27
ryanoasis/nerd-fonts000002024-07-02
intel/intel-one-mono000002024-07-02
LadybirdBrowser/ladybird000002024-07-04
idris-lang/Idris2000002024-06-29
ethereum/solidity000002024-06-29
scala-native/scala-native000002024-06-30
hckiang/font-new-heterodox-mono000002024-07-02

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

ContributorShared reposRepositories in common
GeorgCantor1
JetBrains/intellij-arend
ShrykeWindgrace1
JetBrains/intellij-arend
alex9999900091
JetBrains/intellij-arend
ice10001
JetBrains/intellij-arend
mchernyavsky1
JetBrains/intellij-arend
s3midetnov1
JetBrains/intellij-arend
sxhya1
JetBrains/intellij-arend
valis1
JetBrains/intellij-arend

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