Skip to content
GitHub Explorer

MirceaS

View on GitHub ↗

active 2023-09-29 → 2024-12-09 (UTC) · 8 repositories

Complete coverage27,496 / 27,496 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-03 (UTC)
Events
277
Pushes
128
Pull requests
25
Issues
2
Reviews
49
Repositories
8

Activity over time

Daily event counts in the loaded window

Line chart, 438 days from 2023-09-29 to 2024-12-09. Pushes: 128 total, peak 8 in a day. Pull requests: 25 total, peak 3 in a day. Issues: 2 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
runtimeverification/proof-checker17874191442024-01-26
Formal-Systems-Laboratory/matching-logic-mm038333012024-09-25
Pi-Squared-Network/pi22181052024-02-01
MirceaS/gfs-maude11110002024-05-03
MirceaS/Data-structure522012023-09-29
runtimeverification/k100002023-10-30
runtimeverification/llvm-backend100102024-12-09
MirceaS/stacklands-electric000002023-12-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

ContributorShared reposRepositories in common
F-WRunTime4
runtimeverification/proof-checkerPi-Squared-Network/pi2runtimeverification/kruntimeverification/llvm-backend
Robertorosmaninho4
runtimeverification/proof-checkerPi-Squared-Network/pi2runtimeverification/kruntimeverification/llvm-backend
dwightguth4
runtimeverification/proof-checkerPi-Squared-Network/pi2runtimeverification/kruntimeverification/llvm-backend
nishantjr4
runtimeverification/proof-checkerPi-Squared-Network/pi2runtimeverification/kruntimeverification/llvm-backend
Baltoli3
runtimeverification/proof-checkerruntimeverification/kruntimeverification/llvm-backend
IljaZakharov3
runtimeverification/proof-checkerPi-Squared-Network/pi2runtimeverification/llvm-backend
fiedlr3
runtimeverification/proof-checkerPi-Squared-Network/pi2runtimeverification/llvm-backend
malturki3
runtimeverification/proof-checkerPi-Squared-Network/pi2runtimeverification/llvm-backend
rv-jenkins3
runtimeverification/proof-checkerruntimeverification/kruntimeverification/llvm-backend
tothtamas283
runtimeverification/proof-checkerruntimeverification/kruntimeverification/llvm-backend
traiansf3
Pi-Squared-Network/pi2runtimeverification/kruntimeverification/proof-checker
0cjs2
runtimeverification/kruntimeverification/llvm-backend
RaoulSchaffranek2
runtimeverification/kruntimeverification/llvm-backend
Scott-Guest2
runtimeverification/kruntimeverification/llvm-backend
Stevengre2
runtimeverification/kruntimeverification/proof-checker
TheBlueLizard2
Pi-Squared-Network/pi2runtimeverification/k
anvacaru2
runtimeverification/kruntimeverification/llvm-backend
baltoli-v22
runtimeverification/kruntimeverification/llvm-backend
dlucanu2
runtimeverification/kruntimeverification/llvm-backend
ehildenb2
runtimeverification/kruntimeverification/llvm-backend
geo2a2
runtimeverification/kruntimeverification/llvm-backend
goodlyrottenapple2
runtimeverification/kruntimeverification/llvm-backend
gtrepta2
runtimeverification/kruntimeverification/llvm-backend
jberthold2
runtimeverification/kruntimeverification/llvm-backend
juliankuners2
runtimeverification/kruntimeverification/llvm-backend

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